perm filename E87.OUT[LET,JMC] blob sn#846542 filedate 1987-10-01 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00315 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00030 00002	∂01-Jul-87  0925	JMC   	NSF Announcement  
C00033 00003	∂01-Jul-87  0958	JMC  	re: reply to message    
C00034 00004	∂01-Jul-87  1124	JMC  	re: 
C00035 00005	∂01-Jul-87  1125	JMC   	QLISP FUNDING
C00047 00006	∂01-Jul-87  1356	JMC  
C00048 00007	∂01-Jul-87  1450	JMC  
C00050 00008	∂01-Jul-87  1519	JMC  
C00051 00009	∂01-Jul-87  2256	JMC  	re: The REAL Mr. P and Mr. S!
C00053 00010	∂02-Jul-87  1151	JMC  
C00054 00011	∂02-Jul-87  1358	JMC  
C00055 00012	∂02-Jul-87  1838	JMC  	re: Messrs P and S 
C00056 00013	∂02-Jul-87  2102	JMC  	re: Mr. P. and Mr. S.   
C00057 00014	∂02-Jul-87  2324	JMC  	re: Mr. P. and Mr. S.   
C00058 00015	∂03-Jul-87  1215	JMC  
C00059 00016	∂03-Jul-87  1507	JMC  
C00060 00017	∂03-Jul-87  2002	JMC  	re: Lowell's "directions"    
C00061 00018	∂04-Jul-87  0014	JMC  	re: Chat 
C00063 00019	∂04-Jul-87  1842	JMC  	friday morning
C00064 00020	∂04-Jul-87  2242	JMC  	re: interesting book    
C00065 00021	∂05-Jul-87  0020	JMC  	workshop support   
C00066 00022	∂05-Jul-87  0024	JMC  	Mr. S and Mr. P    
C00068 00023	∂05-Jul-87  0117	JMC  	re: reply to Helen (re: New York lesbian and gay parade)   
C00071 00024	∂05-Jul-87  1404	JMC  
C00072 00025	∂06-Jul-87  0933	JMC  	re: JPL Issue on Logic & AI  
C00073 00026	∂06-Jul-87  0935	JMC  	re: What are the phone numbers for...  
C00074 00027	∂06-Jul-87  1103	JMC  	telegram 
C00075 00028	∂06-Jul-87  1603	JMC  
C00076 00029	∂06-Jul-87  1611	JMC  
C00077 00030	∂06-Jul-87  1744	JMC  	re: history of the department
C00079 00031	∂06-Jul-87  1745	JMC  	re: Inverse Method and KLAUS 
C00080 00032	∂06-Jul-87  2036	JMC  	talk
C00081 00033	∂06-Jul-87  2039	JMC  	re: The Frame problem   
C00082 00034	∂06-Jul-87  2200	JMC  	re: Mr. P. and Mr. S.   
C00083 00035	∂06-Jul-87  2258	JMC  
C00084 00036	∂07-Jul-87  0209	JMC  	re: IFIP working conference in Canton July 4-8, 1988  
C00085 00037	∂07-Jul-87  1227	JMC  	re: friday    
C00086 00038	∂07-Jul-87  2112	JMC  
C00087 00039	∂08-Jul-87  0053	JMC  	re: IFIP working conference, visit to Beijing    
C00088 00040	∂08-Jul-87  0252	JMC  	America is a violent country?
C00091 00041	∂08-Jul-87  1812	JMC   	Consulting fee    
C00093 00042	∂08-Jul-87  1814	JMC  	re: Consulting fee 
C00098 00043	∂09-Jul-87  0021	JMC  	re: liberal reporters?  
C00099 00044	∂09-Jul-87  0856	JMC  	re: Time Problems  
C00100 00045	∂09-Jul-87  1029	JMC  	lunch tomorrow
C00101 00046	∂09-Jul-87  1035	JMC  	words for DARPA    
C00102 00047	∂09-Jul-87  1046	JMC  	re: Time Problems  
C00103 00048	∂09-Jul-87  1138	JMC  
C00104 00049	∂09-Jul-87  1155	JMC  	re: Private funds for government operations 
C00107 00050	∂09-Jul-87  1656	JMC  	re: Time Problems  
C00108 00051	∂09-Jul-87  1658	JMC  	re: lunch tomorrow 
C00109 00052	∂09-Jul-87  1704	JMC  	re: a few of my "favorite things" about Oliver North  
C00110 00053	∂09-Jul-87  2131	JMC  	re: qlet 
C00111 00054	∂09-Jul-87  2234	JMC  
C00112 00055	∂10-Jul-87  1019	JMC  	Natural kinds 
C00118 00056	∂10-Jul-87  1142	JMC  	Conflict of Visions
C00120 00057	∂10-Jul-87  1154	JMC  	quote for today    
C00121 00058	∂10-Jul-87  1358	JMC  
C00127 00059	∂10-Jul-87  1502	JMC  	re: Mr. P & Mr. S  
C00128 00060	∂10-Jul-87  1714	JMC  	Liberalism of journalists    
C00130 00061	∂10-Jul-87  1827	JMC  	re: Liberalism of journalists     
C00132 00062	∂11-Jul-87  1656	JMC  	North    
C00139 00063	∂11-Jul-87  1732	JMC  	re: correction
C00140 00064	∂11-Jul-87  1734	JMC  	re: martial law    
C00141 00065	∂11-Jul-87  1747	JMC  	North    
C00143 00066	∂11-Jul-87  2147	JMC  	re: Preliminary inventory of free countries in the UN 
C00144 00067	∂11-Jul-87  2200	JMC  	re: Preliminary inventory of free countries in the UN 
C00145 00068	∂11-Jul-87  2217	JMC  	Timothy's fortune  
C00146 00069	∂11-Jul-87  2250	JMC  	commentary on Smolensky article   
C00147 00070	∂12-Jul-87  0115	JMC  	re: Israel's qualifications as a free country    
C00149 00071	∂12-Jul-87  0843	JMC  	re: Peru's qualification as a free country  
C00151 00072	∂12-Jul-87  1111	JMC  	re: Shining path is not an Indian group, because 
C00153 00073	∂12-Jul-87  1216	JMC  	re: countries supporting the contra    
C00155 00074	∂12-Jul-87  1240	JMC  	Sendero Luminoso   
C00156 00075	∂12-Jul-87  1524	JMC  	(→20626 17-Jul-87) 
C00157 00076	∂13-Jul-87  1503	JMC  
C00158 00077	∂13-Jul-87  1507	JMC  
C00159 00078	∂16-Jul-87  2122	JMC  	re: textbooks 
C00160 00079	∂16-Jul-87  2207	JMC  	re: AIList Digest   V5 #181  
C00162 00080	∂17-Jul-87  0000	JMC  	Expired plan  
C00163 00081	∂17-Jul-87  1314	JMC  	touch    
C00164 00082	∂17-Jul-87  1320	JMC  	touch    
C00165 00083	∂17-Jul-87  1347	JMC  	test function for qlisp 
C00166 00084	∂18-Jul-87  1933	JMC  	re: private American armies  
C00167 00085	∂18-Jul-87  2051	JMC  
C00168 00086	∂18-Jul-87  2315	JMC  	re: [Robert L. Causey <AI.CAUSEY@R20.UTEXAS.EDU>: Natural Kinds]
C00171 00087	∂19-Jul-87  1155	JMC  	re: thanks    
C00172 00088	∂19-Jul-87  2120	JMC  	Contra support in Central America 
C00175 00089	∂19-Jul-87  2204	JMC  	re: NASA Money?    
C00176 00090	∂20-Jul-87  1000	JMC  	re: Visiting Appointment Expenses 
C00177 00091	∂20-Jul-87  1002	JMC  	re: Visiting Appointment Expenses 
C00178 00092	∂20-Jul-87  1240	JMC  
C00179 00093	∂20-Jul-87  1320	JMC  	two invoices to send    
C00180 00094	∂20-Jul-87  1656	JMC  
C00181 00095	∂20-Jul-87  1740	JMC  
C00182 00096	∂20-Jul-87  2202	JMC  	re: Liam Peyton's Messages on Nicaragua
C00184 00097	∂20-Jul-87  2211	JMC  	re: GI-Joe    
C00186 00098	∂20-Jul-87  2223	JMC  	re: Lyn & JMC on Nicaragua   
C00189 00099	∂21-Jul-87  0011	JMC  
C00190 00100	∂21-Jul-87  1156	JMC  	connectionist summer school       
C00191 00101	∂21-Jul-87  1157	JMC   	connectionist models summer school    
C00196 00102	∂21-Jul-87  1208	JMC  
C00200 00103	∂21-Jul-87  1236	JMC  	comparison    
C00202 00104	∂21-Jul-87  1301	JMC  
C00203 00105	∂21-Jul-87  1306	JMC  	Tom Knight    
C00204 00106	∂21-Jul-87  1333	JMC  	re: alex 
C00205 00107	∂21-Jul-87  1705	JMC  	loop
C00207 00108	∂21-Jul-87  1755	JMC  	Here is the original A.P. story again. 
C00210 00109	∂21-Jul-87  2207	JMC  	re: Loop 
C00211 00110	∂22-Jul-87  1452	JMC  
C00212 00111	∂23-Jul-87  1624	JMC  	re: Alliant memory 
C00213 00112	∂24-Jul-87  1819	JMC  	re: reply to message    
C00214 00113	∂24-Jul-87  1827	JMC  	re: Ronald Reagan's AIDS commission: the conservative majority  
C00216 00114	∂24-Jul-87  1848	JMC  	re: Readings on scientific explanation 
C00217 00115	∂25-Jul-87  0015	JMC  
C00218 00116	∂25-Jul-87  1820	JMC  	re: Inverse Method Project Schedule    
C00219 00117	∂26-Jul-87  1257	JMC  	re: liberal bias in SU Humanities departments    
C00220 00118	∂26-Jul-87  1311	JMC  	re: liberal bias in SU Humanities departments    
C00221 00119	∂27-Jul-87  0012	JMC  	re: JPL Issue on Logic & AI  
C00222 00120	∂27-Jul-87  1403	JMC  
C00223 00121	∂27-Jul-87  1711	JMC  	t among those registered to vote. 
C00228 00122	∂27-Jul-87  1726	JMC  	salvage from the Titanic
C00230 00123	∂27-Jul-87  2217	JMC  
C00231 00124	∂28-Jul-87  1146	JMC  	measuring the bias of press  
C00239 00125	∂28-Jul-87  1445	JMC  	re: Course at Austin    
C00240 00126	∂28-Jul-87  1531	JMC  	re: A question both of you agree on (I think?)   
C00241 00127	∂28-Jul-87  1700	JMC  	re: Problems with TheoryNet redistribution through AFLB    
C00242 00128	∂29-Jul-87  1307	JMC  	re: pictures  
C00243 00129	∂29-Jul-87  1458	JMC  	re: [AAAI <AAAI-OFFICE@SUMEX-AIM.STANFORD.EDU>: Committee involvement]    
C00245 00130	∂30-Jul-87  1442	JMC  	workshop policies  
C00249 00131	∂31-Jul-87  1840	JMC  	re: your paper, "Circumscription -- a Form of Non-monotonic Reasoning"    
C00250 00132	∂31-Jul-87  1845	JMC  	Beer
C00251 00133	∂01-Aug-87  0056	JMC  	Beers    
C00252 00134	∂01-Aug-87  0835	JMC  	re: Beers     
C00253 00135	∂01-Aug-87  1225	JMC  	re: Lying
C00256 00136	∂01-Aug-87  1723	JMC  	covert actions
C00263 00137	∂01-Aug-87  1738	JMC  	re: JMC and major/minor issues    
C00266 00138	∂01-Aug-87  2220	JMC  	visas    
C00268 00139	∂02-Aug-87  1254	JMC  	re: Lying
C00271 00140	∂02-Aug-87  1344	JMC  	re: international terrorism  
C00274 00141	∂02-Aug-87  1429	JMC  	Tohoku lecture
C00275 00142	∂02-Aug-87  1513	JMC  	report   
C00276 00143	∂02-Aug-87  2159	JMC  	AI and science
C00282 00144	∂03-Aug-87  1430	JMC  	manufacturing science   
C00283 00145	∂03-Aug-87  1442	JMC  	re: Hitler's ends and means (1 of 3)   
C00286 00146	∂03-Aug-87  2344	JMC  	AAAI will support the workshop on Open Systems for up to $7K.  Please
C00287 00147	∂03-Aug-87  2353	JMC  	AAAI will support it with $10K.  Please make all further arrangements
C00289 00148	∂03-Aug-87  2358	JMC  	re: Driver's License's  
C00290 00149	∂04-Aug-87  1030	JMC  
C00291 00150	∂04-Aug-87  1721	JMC  
C00292 00151	∂04-Aug-87  1725	JMC  	natural kinds 
C00293 00152	∂04-Aug-87  2136	JMC  	re: lost luggage   
C00294 00153	∂04-Aug-87  2141	JMC  	re: wics 
C00295 00154	∂04-Aug-87  2224	JMC  	rationalizing Hitler    
C00297 00155	∂04-Aug-87  2319	JMC  
C00298 00156	∂05-Aug-87  1238	JMC  	re: Lunch
C00299 00157	∂05-Aug-87  1422	JMC  	re: AI discussion group at UT
C00300 00158	∂05-Aug-87  1652	JMC  	visas    
C00301 00159	∂05-Aug-87  1749	JMC  	re: your sabatical 
C00302 00160	∂06-Aug-87  0104	JMC  	reply to message   
C00303 00161	∂06-Aug-87  0114	JMC  	get phone numbers  
C00304 00162	∂06-Aug-87  1040	JMC  	visas    
C00305 00163	∂06-Aug-87  1057	JMC  	paper to Japan
C00306 00164	∂06-Aug-87  1136	JMC   	RAships 
C00308 00165	∂06-Aug-87  1737	JMC  
C00309 00166	∂06-Aug-87  1741	JMC  
C00310 00167	∂06-Aug-87  1827	JMC  	possible bungle    
C00311 00168	∂06-Aug-87  2107	JMC  	re: ehud shapiro's e-mail address 
C00312 00169	∂06-Aug-87  2258	JMC  	re: visas     
C00313 00170	∂07-Aug-87  1211	JMC  	re: hawk 
C00314 00171	∂07-Aug-87  2000	JMC  	Some are lucky
C00317 00172	∂08-Aug-87  0112	JMC  	re: exemptness
C00318 00173	∂08-Aug-87  1716	JMC  	HAWK'S PROGRESS IN THE USSR  
C00325 00174	∂08-Aug-87  1717	JMC  	Hawk's progress    
C00326 00175	∂09-Aug-87  1013	JMC  
C00327 00176	∂09-Aug-87  1142	JMC  
C00328 00177	∂09-Aug-87  1624	JMC  
C00329 00178	∂10-Aug-87  0956	JMC  	Rabinov charges    
C00330 00179	∂10-Aug-87  1047	JMC  	bike locker   
C00331 00180	∂10-Aug-87  1742	JMC  	re: area X    
C00332 00181	∂10-Aug-87  2353	JMC  	re: Computer chess game 
C00333 00182	∂11-Aug-87  1332	JMC  
C00334 00183	∂11-Aug-87  1404	JMC  
C00335 00184	∂11-Aug-87  1710	JMC  	re: bert 
C00336 00185	∂11-Aug-87  1747	JMC  	re: great leaders of peace   
C00337 00186	∂11-Aug-87  2222	JMC  	re: chess game
C00338 00187	∂12-Aug-87  0004	JMC  
C00339 00188	∂12-Aug-87  0901	JMC  	re: great leaders of peace   
C00340 00189	∂12-Aug-87  1013	JMC   	Courtesy Appointments  
C00342 00190	∂12-Aug-87  1351	JMC  	group members 
C00343 00191	∂12-Aug-87  1404	JMC  	re: Hitler and Britain  
C00344 00192	∂12-Aug-87  1708	JMC  	re: movie query: A Boy and His Dog, written by Harlan Ellison   
C00345 00193	∂13-Aug-87  0028	JMC  	re: long distance phone companies 
C00347 00194	∂13-Aug-87  1250	JMC  	re: Inverse Method project   
C00348 00195	∂13-Aug-87  1551	JMC  	re: Long distance phone companies 
C00355 00196	∂13-Aug-87  1653	JMC  	re: meta-commentary
C00356 00197	∂13-Aug-87  1653	JMC  	BBS 
C00364 00198	∂13-Aug-87  1802	JMC  
C00365 00199	∂13-Aug-87  2228	JMC  	re: the economics of telephone companies    
C00367 00200	∂13-Aug-87  2310	JMC  	practitioners of non-violence
C00369 00201	∂13-Aug-87  2312	JMC  	(→21075 31-Dec-87) 
C00370 00202	∂13-Aug-87  2315	JMC  
C00371 00203	∂14-Aug-87  1040	JMC  	re: Apartheid vs. Removal    
C00373 00204	∂14-Aug-87  1909	JMC  	Franklin 
C00374 00205	∂14-Aug-87  1913	JMC  	re: 3-Mile Island  
C00375 00206	∂14-Aug-87  2304	JMC  
C00376 00207	∂14-Aug-87  2305	JMC  	urgent   
C00377 00208	∂30-Aug-87  1625	JMC  	re: Passing Years  
C00378 00209	∂31-Aug-87  0911	JMC  
C00379 00210	∂31-Aug-87  0916	JMC  	(→21076 1-Jan-88)  
C00380 00211	∂31-Aug-87  0936	JMC  	please inform 
C00381 00212	∂31-Aug-87  1435	JMC  	re: Ed Brink  
C00382 00213	∂31-Aug-87  1538	JMC  	re: QLISP status   
C00383 00214	∂01-Sep-87  0800	JMC  
C00384 00215	∂01-Sep-87  0805	JMC  	re: Texas #s  
C00385 00216	∂01-Sep-87  1216	JMC  	re: score
C00386 00217	∂02-Sep-87  1019	JMC  	re: PI meeting
C00387 00218	∂02-Sep-87  1023	JMC  	re: Grade in CS399 
C00388 00219	∂02-Sep-87  1037	JMC  
C00391 00220	∂02-Sep-87  1038	JMC  	one last (maybe) question    
C00392 00221	∂02-Sep-87  1055	JMC  	re: Grade in CS399 
C00393 00222	∂02-Sep-87  1111	JMC  
C00394 00223	∂02-Sep-87  1309	JMC  	re: Problem   
C00395 00224	∂02-Sep-87  1347	JMC  	re: Homeless people
C00399 00225	∂02-Sep-87  1401	JMC  	re: Baseball  
C00401 00226	∂02-Sep-87  1408	JMC  	chrmac   
C00402 00227	∂02-Sep-87  1519	JMC  	prize    
C00403 00228	∂02-Sep-87  1648	JMC  	re: ctrl-@    
C00404 00229	∂02-Sep-87  1650	JMC  	re: Summer School in Bulgaria
C00405 00230	∂02-Sep-87  1657	JMC  	re: China
C00406 00231	∂02-Sep-87  1701	JMC  	re: prize     
C00407 00232	∂02-Sep-87  1719	JMC  	re: Program Revision Form    
C00408 00233	∂03-Sep-87  0905	JMC  	address  
C00411 00234	∂03-Sep-87  0914	JMC  	DARPA meeting 
C00420 00235	∂03-Sep-87  1603	JMC  	re: Bibel
C00421 00236	∂03-Sep-87  1627	JMC  	re: environmentalist silliness    
C00423 00237	∂03-Sep-87  1632	JMC  	re: Visa for Denmark    
C00424 00238	∂04-Sep-87  1147	JMC  
C00426 00239	∂04-Sep-87  1348	JMC  
C00435 00240	∂05-Sep-87  1237	JMC  
C00436 00241	∂06-Sep-87  1054	JMC  	re: A question of grammar (actually orthography) 
C00437 00242	∂06-Sep-87  1220	JMC  	sports   
C00439 00243	∂07-Sep-87  1225	JMC  
C00440 00244	∂07-Sep-87  1330	JMC  
C00442 00245	∂07-Sep-87  1339	JMC  
C00443 00246	∂07-Sep-87  1410	JMC  	Tough Nut for Theorem Provers
C00444 00247	∂07-Sep-87  1420	JMC  
C00445 00248	∂07-Sep-87  1600	JMC  	re: BORK and conservatism    
C00449 00249	∂08-Sep-87  1302	JMC  
C00450 00250	∂08-Sep-87  1304	JMC  	re: Where do you keep your books? 
C00451 00251	∂08-Sep-87  1624	JMC  	re: Bork nomination
C00453 00252	∂08-Sep-87  1641	JMC  
C00454 00253	∂09-Sep-87  1204	JMC  	Please acknowledge to Pullen and make the right things happen.  
C00464 00254	∂09-Sep-87  1238	JMC  	re: visit to Austin
C00465 00255	∂09-Sep-87  1242	JMC  	Senderov interview 
C00466 00256	∂10-Sep-87  1010	JMC  	re: LISP at Stanford    
C00467 00257	∂10-Sep-87  1335	JMC  	re: Phone
C00468 00258	∂10-Sep-87  1419	JMC  
C00469 00259	∂10-Sep-87  1524	JMC  
C00470 00260	∂10-Sep-87  1525	JMC  
C00471 00261	∂10-Sep-87  1556	JMC  	Please make this happen for qlisp.
C00478 00262	∂11-Sep-87  1021	JMC  	re: Translating Your Lecture 
C00480 00263	∂11-Sep-87  1550	JMC  	break p  
C00481 00264	∂13-Sep-87  2007	JMC  	re: NSF Report
C00482 00265	∂13-Sep-87  2029	JMC  	re: [Ilan Vardi <ILAN@Score.Stanford.EDU>: HITECH passes Turing Test?]    
C00486 00266	∂13-Sep-87  2036	JMC  	re: Visiting Texas 
C00487 00267	∂13-Sep-87  2045	JMC  	re: I love these flames 
C00488 00268	∂13-Sep-87  2047	JMC  	women in combat    
C00491 00269	∂13-Sep-87  2115	JMC  	child care    
C00493 00270	∂13-Sep-87  2343	JMC  	re: Iran - Mossadegh's Overthrow  
C00495 00271	∂14-Sep-87  0024	JMC  	re: forwarding
C00496 00272	∂14-Sep-87  0935	JMC  	Mossadegh, etc.    
C00500 00273	∂14-Sep-87  1242	JMC  	Hanoi releases prisoners
C00502 00274	∂14-Sep-87  1412	JMC  	re: AAS Annual Meeting  
C00503 00275	∂16-Sep-87  2051	JMC  	re: A Suggestion on Circumscription    
C00504 00276	∂16-Sep-87  2058	JMC  
C00507 00277	∂17-Sep-87  1449	JMC  	re: MSCS courses   
C00508 00278	∂17-Sep-87  1451	JMC  	re: Reminder! Sunrise Club Breakfast Tuesday, 9/22    
C00509 00279	∂18-Sep-87  1226	JMC  	re: reply to message    
C00510 00280	∂18-Sep-87  1435	JMC  	re: Liberals and Bork   
C00511 00281	∂18-Sep-87  2051	JMC  	re: HUMAN RIGHTS LIST - TYPEWRITTEN OUTPUT - PART 3 of 3   
C00512 00282	∂20-Sep-87  1659	JMC  	re: HUMAN RIGHTS LIST _ TYPEWRITER OUTPUT - PART 2 of 3    
C00513 00283	∂20-Sep-87  1753	JMC  	re: 1st IWoLES
C00514 00284	∂20-Sep-87  1756	JMC  	re: 1st IWoLES
C00515 00285	∂20-Sep-87  1836	JMC  	mailing list  
C00516 00286	∂21-Sep-87  0852	JMC  
C00517 00287	∂21-Sep-87  1517	JMC  	possible Soviet visitor 
C00518 00288	∂23-Sep-87  1033	JMC  	re: Greetings 
C00519 00289	∂23-Sep-87  1038	JMC  	re: HUMAN RIGHTS LIST _ TYPEWRITER OUTPUT - PART 2 of 3    
C00520 00290	∂23-Sep-87  1046	JMC  	re: ANy work being done in....    
C00523 00291	∂23-Sep-87  1113	JMC  	re: Flaherty on Bork    
C00526 00292	∂23-Sep-87  1355	JMC  
C00527 00293	∂23-Sep-87  1924	JMC  	reply to message   
C00528 00294	∂24-Sep-87  0845	JMC  	Why must it be Helms?   
C00535 00295	∂24-Sep-87  0958	JMC  	re: Why must it be Helms?    
C00536 00296	∂24-Sep-87  1419	JMC  	reply to message   
C00537 00297	∂24-Sep-87  1453	JMC  	re: A bookstore query   
C00538 00298	∂24-Sep-87  1642	JMC  	re: What Languages?
C00539 00299	∂24-Sep-87  1644	JMC  
C00540 00300	∂25-Sep-87  1056	JMC  	re: origins of the term "Abstract Syntax"   
C00542 00301	∂25-Sep-87  1123	Mailer	failed mail returned   
C00545 00302	∂25-Sep-87  1125	JMC  	failed mail   
C00546 00303	∂25-Sep-87  1134	Mailer	failed mail returned   
C00547 00304	∂25-Sep-87  1134	JMC  	ebos
C00548 00305	∂28-Sep-87  1401	JMC  
C00549 00306	∂28-Sep-87  1410	JMC  	re: couple of things    
C00550 00307	∂28-Sep-87  1502	JMC  	overdue notice of `Simplification by operating-design proceeding' by Nelson    
C00551 00308	∂28-Sep-87  1521	JMC  	re: reply to message    
C00552 00309	∂28-Sep-87  1523	JMC  	reply to message   
C00553 00310	∂28-Sep-87  1611	JMC  
C00554 00311	∂29-Sep-87  0950	JMC  	re: conference
C00555 00312	∂29-Sep-87  0952	JMC  	re: HUMAN RIGHTS LIST _ TYPEWRITER OUTPUT - PART 2 of 3    
C00556 00313	∂29-Sep-87  1213	JMC  	re: Trinity and Catholics    
C00557 00314	∂30-Sep-87  1221	JMC  	reply to message   
C00558 00315	∂30-Sep-87  1517	JMC  
C00569 ENDMK
C⊗;
∂01-Jul-87  0925	JMC   	NSF Announcement  
To:   RPG    
 ∂01-Jul-87  0800	RICHARDSON@Score.Stanford.EDU 	NSF Announcement   
Received: from SCORE.STANFORD.EDU by SAIL.STANFORD.EDU with TCP; 1 Jul 87  07:52:24 PDT
Date: Wed 1 Jul 87 07:44:43-PDT
From: Anne Richardson <RICHARDSON@Score.Stanford.EDU>
Subject: NSF Announcement
To: faculty@Score.Stanford.EDU
Message-ID: <12314899745.11.RICHARDSON@Score.Stanford.EDU>

I have an NSF announcement in my office regarding a CISE Institutional
Infrastructure Program --- the purpose of which is to provide support to
aid in the establishment, enhancement and operation of a major experimental
facilities planned to support research activities in all CISE-research areas.
Should anyone have interest, feel free to come by my office and peruse.

-Anne
-------

∂01-Jul-87  0958	JMC  	re: reply to message    
To:   VAL    
[In reply to message rcvd 01-Jul-87 09:54-PT.]

I'll be in in an hour.  If you're going before then, Carolyn could
give you a check for $1446.  I assume you are also being soaked as
a rich capitalist.

∂01-Jul-87  1124	JMC  	re: 
To:   glenda@ARGUS.STANFORD.EDU  
[In reply to message sent 1 Jul 1987 1030-PDT.]

Yes.

∂01-Jul-87  1125	JMC   	QLISP FUNDING
To:   CLT    
 ∂01-Jul-87  1009	scherlis@vax.darpa.mil 	QLISP FUNDING   
Received: from VAX.DARPA.MIL by SAIL.STANFORD.EDU with TCP; 1 Jul 87  10:09:44 PDT
Posted-Date: Wed 1 Jul 87 11:27:07-EDT
Received: by vax.darpa.mil (5.54/5.51)
	id AA20525; Wed, 1 Jul 87 11:27:11 EDT
Date: Wed 1 Jul 87 11:27:07-EDT
From: William L. Scherlis <SCHERLIS@vax.darpa.mil>
Subject: QLISP FUNDING
To: JMC@sail.stanford.edu, LES@sail.stanford.edu
Cc: wade@vax.darpa.mil
Message-Id: <552151627.0.SCHERLIS@VAX.DARPA.MIL>
Mail-System-Version: <VAX-MM(213)+TOPSLIB(128)@VAX.DARPA.MIL>


TO:  Principal Investigators in the DARPA Software Design Program.

This is the first community-wide communication concerning technical,
management, and funding-related issues in the DARPA/ISTO Software
Design Research Program.  The issues addressed here are primarily
administrative, but the intent is that this mailing list be generally
available to facilitate informal interaction within our community.  I
will publish the mailing list in the next few weeks.  Certain people
who are not currently supported are included in the list for
information and coordination purposes.  Every group that is currently
funded or about to be funded should respond to this message.  Thanks,
				Bill Scherlis

================================================================

1.  We are planning a PI meeting on 15-17 Sep 87 in conjunction with
the Computer Architecture Program.  There will be a joint session with
Architecture PIs to discuss parallel software and separate sessions so
we can discuss internal Software Research matters.  Details will
follow, but please mark your calendar now.


2.  DARPA policy now requires that certain information about all
funded projects be provided EVERY YEAR for the purposes of justifying
yearly increments of funds.  PROMPT ACTION ON YOUR PART IS REQUIRED
FOR FUNDING TO CONTINUE.  We will use the information you provide to
generate internal documents that generate the next increment of funds.

Responses should be sent to Denise Wade (at WADE@VAX.DARPA.MIL) with a
copy to me (at SCHERLIS@VAX.DARPA.MIL).  If you don't get an
acknowledgement in 24 hours, please give us a call.  We must have your
response in one week.

I need information concerning (1) Research accomplishments in the
current fiscal year (FY87: 1 Oct 86 -- 30 Sep 87) and (2) Research
objectives for the forthcoming fiscal year (FY88: 1 Oct 87 -- 30 Sep
88).  I am also soliciting for our own internal ISTO purposes some
information concerning publications and component technologies.

If you have more than one arpa order or contract (or task option
invoked), you should respond separately for each.

An example response (for form, not content) is included below.  Please
avoid jargon.  Please be crisp, technical, and specific.  Please be
succinct.

The following six items should be included in your response:

[1] Project title (make it meaningful), Arpa order number, contract
number, and description of project objectives (1-2 sentences).

[2]  Objectives for FY88 (2 or 3 bullets of 1-2 sentences).

[3]  Accomplishments from FY87 (2 or 3 bullets).

[4]  Explanation of why this research should be continued.

[5] (For ISTO use only) Component technologies being produced.
Component technologies produced elsewhere that are being used or are
under consideration for use.

"Component technologies" is a generic phrase meant to include all
portable technologies, including, for example, software subsystems
(e.g., Mach, X windows, CLF components), language and subsystem
definitions (Gist, Refine, E-L, CLOS), abstract data type definitions
(higher order patterns, CLX, decorated abstract syntax trees), new
algorithms, and so on.

[6] A list of major publications in the past year arising from DARPA
sponsored research.  Other important publications and milestones can
also be mentioned.

================

I thank Allan Sears for the following Rules of Thumb and for providing
the project example below:

              - Try to use active verbs like "developed",
         "implemented", etc., to introduce the sentences for
         objectives and accomplishments.

              - You may deviate as you think necessary for
         your research program and your needs.  For example,
         If you just started the research then only one
         accomplishment bullet may be appropriate.

              - Make the accomplishments and objectives say
         something.  If it isn't good enough I will work
         with you to make it better.  But delays may mean
         delays in your incremental funding.

Please acknowledge this message to Denise Wade (address above, phone
(202)694-5800) so we don't call and hound you.

================
	            GENERAL PROJECT EXAMPLE (not including
			component technologies information)

PROJECT TITLE: (a short title to give semantic meaning of the
research)
		"Automated Software Development"

ARPA ORDER NUMBER: xxxx

CONTRACT NUMBER: yyyyyyyyyyyy

PROJECT OBJECTIVE: (1-2 sentences)

The objective of this research is to develop automated software tools
to allow both general software development and specific software
generation for expert systems.


OBJECTIVES FOR FY 88: (1-2 sentences for each bullet)

- Integrate formal specifications into the Formalized System
Development (FSD) framework and provide full life-cycle automated
support for program generation and maintenance.  Identify and
implement rules that govern software development in this environment.

- Create a top-level knowledge base for expert system generation that
provides a basic structure for further problem domain knowledge
construction.  This will allow expert system developers to create new
expert systems by specializing existing knowledge, rather than
constructing everything from scratch each time.

- Demonstrate the effectiveness of the expert system building
framework by actually developing one or more significant expert
systems with the tools developed under this effort.


ACCOMPLISHMENTS FOR FY87: (1-2 sentences for each bullet)

- Developed an initial testbed for specification-based software
development which incorporates an AI operating system, support
software for specification management and implementation, and a
generic user interface.

- Provided representations for several kinds of knowledge needed to
support different classes of explanation.  Such knowledge bases
include domain-descriptive knowledge, problem-solving knowledge, and
terminology.

- Designed and implemented a program writer that partially generates
Lisp implementations of expert systems from high-level specifications
of the problem domain.


WHY THIS EFFORT SHOULD BE CONTINUED: (1-3 sentences max)

The need to improve software productivity is critical for DoD.  This
work will produce important demonstrations and will produce and
distribute to the community useful tools and environments for software
development.

================================================================
-------

∂01-Jul-87  1356	JMC  
To:   JK
John Nafeh's number is 408 943-1711, and it looks like a fit is probable.

∂01-Jul-87  1450	JMC  
To:   JJW    
Please find out what she wants and deal with it.  Looks like she has l instead of 1.

 ∂01-Jul-87  1444	glenda@argus.stanford.edu 	re:     
Received: from ARGUS.STANFORD.EDU by SAIL.STANFORD.EDU with TCP; 1 Jul 87  14:44:15 PDT
Received: by argus.stanford.edu; Wed, 1 Jul 87 14:36:59 PDT
Date:  1 Jul 1987 1436-PDT (Wednesday)
From: Glenda Scarbrough <glenda@argus.stanford.edu>
To: John McCarthy <JMC@sail.stanford.edu>
Cc: glenda@argus.stanford.edu
Subject: re: 
In-Reply-To: John McCarthy <JMC@SAIL.STANFORD.EDU> / 
		01 Jul 87  1124 PDT.

John, do you know or can you find out what the ethernet address for
"Ibmrtpcl" is and does it have a mail forwarding address and if so
what?  Thanks for your help. Glenda

∂01-Jul-87  1519	JMC  
To:   ai.woody@MCC.COM 
Woods, William A.	617 492-7322, woods@harvard.harvard.edu
	Chief Scientist, Applied Expert Systems, Inc.
	Five Cambridge Center
	Cambridge, MA 02142

∂01-Jul-87  2256	JMC  	re: The REAL Mr. P and Mr. S!
To:   DON@SAIL.STANFORD.EDU 
[In reply to message rcvd 01-Jul-87 22:39-PT.]

I have been looking for the source of the problem.  Whoever told it to
me some years ago said he saw it on a bulleting board at PARC.
Mr. S's first statement is somewhat murky, and I fixed it when I
popularized the problem as one of formalizing reasoning about knowledge.
You seem to have the original version, and therefore might be able to
help track down the source.  Namely, you have "I knew you don't know"
which isn't good English and admits the interpretation "I knew then
that you wouldn't know even now".  I puzzled over the interpretation,
decided that the wording was bad and changed it to "I knew you didn't
know".  Anyway, have you any clue about how the problem got on the
PARC bulletin board?

∂02-Jul-87  1151	JMC  
To:   JJW    
I have a message to call Tom Burns or to have an associate call him
about a mini-supercomputer at 617 872-8200.  Please find out what he
wants and whether it has relevance.  Most likely he's just a salesman.

∂02-Jul-87  1358	JMC  
To:   AIR    
Alan Snyder
Hewlett-Packard
P.O. Box 10490
Palo Alto, CA 94303
It needs to be taken to the Post Office today - not merely
left in the Department's outgoing mail.

∂02-Jul-87  1838	JMC  	re: Messrs P and S 
To:   K.KARN@LEAR.STANFORD.EDU
CC:   su-etc@SAIL.STANFORD.EDU 
[In reply to message from K.KARN@lear.stanford.edu sent Thu 2 Jul 87 17:25:19-PDT.]

"between 1 and 100" must be interpreted as excluding 1 and 100 to get the
way the problem appeared in the AI community.  The limits were stated as 2
=< m,n =< 99.  I'm pretty sure that allowing 1 makes the problem less
interesting.

∂02-Jul-87  2102	JMC  	re: Mr. P. and Mr. S.   
To:   ROKICKI@SUSHI.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU
[In reply to message from ROKICKI@sushi.stanford.edu sent Thu 2 Jul 87 19:20:31-PDT.]

Excluding 1 and 100 and letting Mr. S say "I knew you didn't know" leaves
exactly one solution.  Should I tell it?

∂02-Jul-87  2324	JMC  	re: Mr. P. and Mr. S.   
To:   ROKICKI@SUSHI.STANFORD.EDU 
[In reply to message sent Thu 2 Jul 87 23:13:53-PDT.]

The numbers are 4 and 13.  I believe the computations required to
verify that this is the unique solution are not too burdensome,
although I wrote a small Lisp program to do it.

∂03-Jul-87  1215	JMC  
To:   CLT    
07-06	tues. 7pm, Dinah's Shack with Mikhail Bernstam et famille

∂03-Jul-87  1507	JMC  
To:   CLT    
07-07	tues. 7pm, Dinah's Shack with Mikhail Bernstam et famille

∂03-Jul-87  2002	JMC  	re: Lowell's "directions"    
To:   RDZ@SUSHI.STANFORD.EDU
[In reply to message sent Fri, 3 Jul 1987 19:09 PDT.]

I'm wondering if I should bring some firecrackers.
Suppose I see you at the office at 11am.

∂04-Jul-87  0014	JMC  	re: Chat 
To:   RPG    
[In reply to message rcvd 03-Jul-87 22:43-PT.]

As you wish.

∂04-Jul-87  1842	JMC  	friday morning
To:   jmb@ANGBAND.S1.GOV    
See you then.  I'll need a new red badge.  Also please remind Lowell.

∂04-Jul-87  2242	JMC  	re: interesting book    
To:   perlis@YOOHOO.CS.UMD.EDU   
[In reply to message sent Sun, 5 Jul 87 00:55:15 EDT.]

Thanks for the reference; I'll get it from the library.

∂05-Jul-87  0020	JMC  	workshop support   
To:   kahn.pa@XEROX.COM
CC:   aaai-office@SUMEX-AIM.STANFORD.EDU   
AAAI will grant $1,000 to your "small informal workshop on concurrent
committed-choice logic programming, meta-programming, and open systems
on September 8 and 9".  Please arrange details with Claudia Mazzetti
at the AAAI office.

∂05-Jul-87  0024	JMC  	Mr. S and Mr. P    
To:   Pratt@NAVAJO.STANFORD.EDU  
Any chance that you know the source?
 ∂04-Jul-87  2345	Woods.PA@Xerox.COM 	Re: The REAL Mr. P and Mr. S! 
Received: from XEROX.COM by SAIL.STANFORD.EDU with TCP; 4 Jul 87  23:45:44 PDT
Received: from Burger.ms by ArpaGateway.ms ; 03 JUL 87 17:05:52 PDT
Date: 3 Jul 87 11:13:20 PDT (Friday)
Subject: Re: The REAL Mr. P and Mr. S!
In-reply-to: JMC's message of 01 Jul 87 22:56 PDT
To: John McCarthy <JMC@SAIL.STANFORD.EDU>
cc: DON@SAIL.STANFORD.EDU
From: Don Woods <Woods.pa@Xerox.COM>
Message-ID: <870703-170552-108@Xerox>

I don't think I saw it on the PARC bboard.  I was still at Stanford at
the time (early '78).  Judging from Pratt's comment, the problem had
been around at least since October '77.  I suspect I saw a copy that you
were spreading around SAIL.

It appears that Pratt is closer to the source; you might try him.  Also,
his message about the significance of the 1-100 restriction made mention
of a file "AI:PRATT;CGOLMA".  It's possible that "CGOLMA" has some
significance that escapes me at the moment.

	-- Don.

∂05-Jul-87  0117	JMC  	re: reply to Helen (re: New York lesbian and gay parade)   
To:   R.ROLAND@LEAR.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU
[In reply to message from R.ROLAND@lear.stanford.edu sent Sat 4 Jul 87 23:54:42-PDT.]

Roland van Gaalen's reply to Helen Cunningham thoughtlessly jeopardizes
the victim status of homosexuals.  If "gays" are to maintain their
certified "victim of society" status about whom it is "...ist" or
"...phobic" to make fun, they must preserve a properly solemn attitude
toward making fun of ALL certified victim groups.  Now Roland may
suppose that victim status isn't necessary any more, but he should
remember that next year is an election year, and some Democrats
are actually proposing to give up the Party's image as the representative
of the blacks, homosexuals, women, homeless and retarded in order
to win the votes of the bourgeois middle class and the even more bourgeois
working class.  Victim status is worth money, offices and publicity
and shouldn't be given up lightly.

It reminds me of something I read many years ago in my father's
Carpenters' Union magazine.  It said that working with forms for
pouring concrete was in the Carpenters' Union jurisdiction even
if the forms were made of metal.  It pointed out that while working
with metal forms rather than wood might not be especially congenial
to carpenters, every bit of jurisdiction would be valuable when
the next depression came, and this jurisdiction should not be allowed
to lapse to the Laborers and Hod Carriers Union.

Likewise, more experienced members of the "gay community" should
point out to Roland that every bit of victim status is potentially
valuable and should not be allowed to lapse.

∂05-Jul-87  1404	JMC  
To:   RA
Please tex and make me a copy of hoter.tex[w76,jmc] if you haven't yet.

∂06-Jul-87  0933	JMC  	re: JPL Issue on Logic & AI  
To:   Rich.Thomason@C.CS.CMU.EDU 
[In reply to message sent Mon 6 Jul 87 09:56:56-EDT.]

I'll be here this week except for Friday during the day, and I'll be
at AAAI at least for the first few days.  I also think the special issue
is a good idea.

∂06-Jul-87  0935	JMC  	re: What are the phone numbers for...  
To:   BOUSSE@SIERRA.STANFORD.EDU 
[In reply to message sent Sun 5 Jul 87 23:05:09-PDT.]

I believe the former is (or was) 760, and the latter is 767-1212.

∂06-Jul-87  1103	JMC  	telegram 
To:   RA
I received a telegram via Stanford Communications from Ershov in
Novosibirsk about an invitation.  Please reply that my passport
number is 050056916 and my birthdate is September 4, 1927.  Get
the return address for the telegram from Stanford Communications
and also put it in PHON with Ershov's name.

∂06-Jul-87  1603	JMC  
To:   RA
I need a copy of Reiter's nonmonotonic survey for Alice ter Meulen.

∂06-Jul-87  1611	JMC  
To:   RA
Maybe Vladimir can find it easily, and Carolyn can give it to Alice.

∂06-Jul-87  1744	JMC  	re: history of the department
To:   FEIGENBAUM@SUMEX-AIM.STANFORD.EDU,
      golub%SCORE.STANFORD.EDU@SUMEX-AIM.STANFORD.EDU,
      floyd%SCORE.STANFORD.EDU@SUMEX-AIM.STANFORD.EDU,
      DEK@SAIL.STANFORD.EDU
CC:   nilsson%SCORE.STANFORD.EDU@SUMEX-AIM.STANFORD.EDU
[In reply to message from FEIGENBAUM@SUMEX-AIM.STANFORD.EDU sent Mon, 6 Jul 87 17:13:27 PDT.]

My understanding is that Terman recruited Forsythe around 1960 to form
a computer science department starting with a computer science division
of the math department with himself and John Herriot as initial members.
I was the first new hire, though maybe Gene came at the same time also.
Herriot should also be asked.

∂06-Jul-87  1745	JMC  	re: Inverse Method and KLAUS 
To:   brink@SUSHI.STANFORD.EDU
CC:   VAL@SAIL.STANFORD.EDU    
[In reply to message from brink@Sushi.Stanford.EDU sent Mon 6 Jul 87 15:48:15-PDT.]

I know nothing of KLAUS.

∂06-Jul-87  2036	JMC  	talk
To:   rdz@SUSHI.STANFORD.EDU
If you want to talk tonight, I'll be at home baby sitting after 9:30.
You can come by.  Phone first 857-0672.

∂06-Jul-87  2039	JMC  	re: The Frame problem   
To:   kumard%cs.buffalo.edu@RELAY.CS.NET   
[In reply to message sent Mon, 6 Jul 87 23:31:00 EDT.]

They didn't print it, because I didn't write it.  I will, however,
be at AAAI.

∂06-Jul-87  2200	JMC  	re: Mr. P. and Mr. S.   
To:   SWEER@SUMEX-AIM.STANFORD.EDU    
[In reply to message sent Mon, 6 Jul 87 21:49:32 PDT.]

The fact that those candidate solutions allow the sum to be the sum of
two primes implies that none of them are solutions.  Indeed this shows
that the sum cannot be even, since otherwise the Goldbach conjecture
that every even number is the sum of two primes would have small
counterexamples.

∂06-Jul-87  2258	JMC  
To:   ALS    
Is there still an American checker champion?

∂07-Jul-87  0209	JMC  	re: IFIP working conference in Canton July 4-8, 1988  
To:   SOLVBERG%NORUNIT.BITNET@WISCVM.WISC.EDU   
[In reply to message sent Mon, 06 Jul 87 09:52:56 ECT.]

I have already made a commitment for the week before the conference
but could visit Peking afterwards.

∂07-Jul-87  1227	JMC  	re: friday    
To:   SHOHAM@SCORE.STANFORD.EDU  
[In reply to message sent Tue 7 Jul 87 12:03:33-PDT.]

I'll be in Livermore Friday.

∂07-Jul-87  2112	JMC  
To:   CLT    
SSRL 854-3300 Susan Lovegren is the Stanford contact.

∂08-Jul-87  0053	JMC  	re: IFIP working conference, visit to Beijing    
To:   SOLVBERG%NORUNIT.BITNET@WISCVM.WISC.EDU   
[In reply to message sent Wed, 08 Jul 87 08:51:37 ECT.]

No need.  He has written to me, and I am replying.

∂08-Jul-87  0252	JMC  	America is a violent country?
To:   su-etc@SAIL.STANFORD.EDU   
The common practice of quoting only average statistics perpetrates
polite fictions.  Only certain subpopulations are particularly
violent, but journalists and social scientists are reluctant to
identify them for fear of giving offense to liberals.  This leads
to generalized proposals for dealing with the problem rather than
proposals targeted towards the populations at risk.  My subjective
impression for lack of actual data is that the black populations
of certain poor areas have enormous murder rates, and certain
poor rural populations have high rates regardless of race.  Yuppies
have very low rates of murder.  Does anyone know a source of actual
statistics.

∂08-Jul-87  1812	JMC   	Consulting fee    
To:   RA
 ∂08-Jul-87  1812	rms%lemon.Berkeley.EDU@jade.berkeley.edu 	Consulting fee    
Received: from JADE.Berkeley.EDU by SAIL.STANFORD.EDU with TCP; 8 Jul 87  18:12:17 PDT
Received: from tart8.berkeley.edu
	by jade.berkeley.edu (5.54 (CFC 4.22.3)/1.16.15)
	id AA20781; Wed, 8 Jul 87 18:11:54 PDT
Received: by tart8.berkeley.edu (3.2/SMI-3.0DEV3.7)
	id AA04258; Wed, 8 Jul 87 18:11:56 PDT
Date: Wed, 8 Jul 87 18:11:56 PDT
From: rms%lemon.Berkeley.EDU@jade.berkeley.edu
Message-Id: <8707090111.AA04258@tart8.berkeley.edu>
To: jmc@sail.stanford.edu
Subject: Consulting fee
Reply-To: rms@prep.ai.mit.edu

I sent you an invoice for the $500 about a month ago.
I have not yet received the money.  Has it been sent yet?

I will be in Berkeley for the duration of the summer.
My phone number here is 540-0725.  My address here is
2408 Atherton St
Berkeley CA 94704.
(I gave another address in care of someone at UCB on the invoice.
That address is ok too.)

∂08-Jul-87  1814	JMC  	re: Consulting fee 
To:   rms@PREP.AI.MIT.EDU
CC:   RA@SAIL.STANFORD.EDU
[In reply to message sent Wed, 8 Jul 87 18:11:56 PDT.]

I'll have Rutie check.

∂09-Jul-87  0021	JMC  	re: liberal reporters?  
To:   isaacs@PSYCH.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU 
[In reply to message from isaacs@psych.stanford.edu sent Wed, 8 Jul 87 23:33:03 PDT.]

Sorry, I've forgotten the exact source.  I remember that there was both a
self-characterization as liberal or conservative part of the poll of
reporters (not publishers) and questions about specific attitudes.  The
only one of the latter I remember was whether the U.S. was responsible for
the poverty of the underdeveloped countries.

∂09-Jul-87  0856	JMC  	re: Time Problems  
To:   THOMASON@CSLI.STANFORD.EDU 
[In reply to message sent Thu 9 Jul 87 08:16:01-PDT.]

Saturday would be ok if that would help or even Sunday.

∂09-Jul-87  1029	JMC  	lunch tomorrow
To:   shoham@SCORE.STANFORD.EDU  
My Livermore trip tomorrow was cancelled, so I'm available for lunch
if your plan is still on.

∂09-Jul-87  1035	JMC  	words for DARPA    
To:   CLT    
The Qlisp approach to making parallel processing computers for Lisp
still looks appropriate for systems with moderate numbers of processes.
Qlisp's assumption of shared memory is still the only one that will
clearly work.  The project is approximately on schedule
with Qlisp experimental availability projected for the end of summer.
In the meantime, the implementation of OPS-5 in Qlisp by Gupta and ...
indicates that Qlisp is suitable for expert system shells and
indicates which of the Qlisp facilities need to be optimized.

∂09-Jul-87  1046	JMC  	re: Time Problems  
To:   THOMASON@CSLI.STANFORD.EDU 
[In reply to message sent Thu 9 Jul 87 08:16:01-PDT.]

Besides that my meeting for tomorrow has been cancelled, so tomorrow
is open.

∂09-Jul-87  1138	JMC  
To:   RA
What files do you have that your successor will need?

∂09-Jul-87  1155	JMC  	re: Private funds for government operations 
To:   SCOTT@SIERRA.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU 
[In reply to message from SCOTT@Sierra.Stanford.EDU sent Thu 9 Jul 87 11:29:28-PDT.]

Certainly North's activities violated the intent of the Boland Amendment.
However, there is an ambiguity involving the respective powers the
Constitution assigns to the President and Congress.  The appropriation of
money is unambiguously assigned to Congress.  Foreign policy is assigned
to the President.  However, he must obey the laws.  This, however, has
never been interpreted by the Supreme Court as meaning that the Congress
can order the President to do whatever it wants.  Impatient people will
urge that the matter be straightened out once and for all, i.e. the powers
of Congress and the President.  However, that isn't the way it has worked
in the past, is likely to work this time, or should work.  The operation
of Government has depended on no branch of Government pushing its
prerogatives to the limit.  Scott's hypothetical examples involve pushing
the President's foreign policy powers to the limit.  This isn't where the
actual controversies lie.

My own opinion is that North is a hero - only partly because I agree with
what he was trying to accomplish.  However, he and others may have gone
beyond a reasonable interpretation of the powers of the President, and he
certainly made various bungles.  I suspect he will have to leave the
Marine Corps, because any future assignment he might receive will be
given a political interpretation, and probably the Marines can't handle
that.

∂09-Jul-87  1656	JMC  	re: Time Problems  
To:   THOMASON@CSLI.STANFORD.EDU 
[In reply to message sent Thu 9 Jul 87 12:43:32-PDT.]

(home: 415 857-0672) (office: 723-4430)

∂09-Jul-87  1658	JMC  	re: lunch tomorrow 
To:   SHOHAM@SCORE.STANFORD.EDU  
[In reply to message sent Thu 9 Jul 87 13:29:44-PDT.]

OK, I'd make the reservation if I knew how many.  I suggest you make it
for noon if you're a member.  Otherwise let me know.

∂09-Jul-87  1704	JMC  	re: a few of my "favorite things" about Oliver North  
To:   helen@PSYCH.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU  
[In reply to message from helen@psych.stanford.edu sent Thu, 9 Jul 87 12:01:55 PDT.]

There sure is a nice correlation between one's personal reaction to
various people on TV and one's attitude to what they are trying to accomplish.
Some psychologist should study the phenomenon.

∂09-Jul-87  2131	JMC  	re: qlet 
To:   CLT    
[In reply to message rcvd 09-Jul-87 21:29-PT.]

Ok with me.

∂09-Jul-87  2234	JMC  
To:   RA
perlis.re1

∂10-Jul-87  1019	JMC  	Natural kinds 
To:   ailist@STRIPE.SRI.COM 
Recently philosophers, Hilary Putnam I think, introduced the concept
of natural kind which, in my opinion, is one of the few things they
have done that is useful for AI.  Most nouns designate natural kinds,
uncontroversially "bird", and in my opinion, even "chair".  (I don't
consider "natural kind" to be a linguistic term, because there may
be undiscovered natural kinds and never articulated natural kinds).

The clearest examples of natural kind are biological species -
say penguin.  We don't have a definition of penguin; rather we
have learned to recognize penguins.  Penguins have many properties
I don't know about; some unknown even to penguin specialists.
However, I can tell penguins from seagulls without a precise definition,
because there aren't any intermediates existing in nature.
Therefore, the criteria used by people or by the programs we build
can be quite rough, and we don't all need to use the same criteria,
because we will come out with the same answer in the cases that
actually arise.

In my view the same is true of chairs.  With apologies to Don Norman,
I note that my 20 month old son Timothy recognizes chairs and tables.
So far as I know, he is always right about the whether the objects
in our house are chairs.  He also recognizes toy chairs, but just
calls them "chair" and similarly treats pictures of chairs in books.
He doesn't yet say "real chair", "toy chair" and "picture of a chair",
but he doesn't try to sit on pictures of chairs.  He is entirely
prepared to be corrected about what an object is.  For example, he
called a tomato "apple" and accepted correction.

We should try to make AI systems as good as children in this respect.
When a an object is named, the system should generate a
gensym, e.g. G00137.  To this symbol should be attached the name
and what the system is to remember about the instance.  (Whether it
remembers a prototype or a criterion is independent of this discussion;
my prejudice is that it should do both if it can.  The utility of
prototypes depends on how good we have made it in handling similarities.)

The system should presume (defeasibly) that there is more to the concept
than it has learned and that some of what it has learned may be wrong.
It should also presume (although will usually be built into the design
rather than be linguistically represented) that the new concept is
a useful way to distinguish features of the world, although some new
concepts will turn out to be mere social conventions.

Attaching if-and-only-if definitions to concepts will sometimes be
possible, and mathematical concepts often are introduced by definitions.
However, this is a rare case in common sense experience.

I'm not sure that philosophers will agree with treating chairs as
natural kinds, because it is easy to invent intermediates between
chairs and other furniture.  However, I think it is psychologically
correct and advantageous for AI, because we and our robots exist
in a world in which doubtful cases are rare.

The mini-controversy about penguins can be treated from this point of
view.  That penguins are birds and whales are mammals has been discovered
by science.  Many of the properties that penguins have in common with
other birds have not even been discovered yet, but we are confident that
they exist.  It is not a matter of definition.  He who gets fanatical
about arbitrary definitions will make many mistakes - for example,
classifying penguins with seals will lead to not finding tasty penguin
eggs.

∂10-Jul-87  1142	JMC  	Conflict of Visions
To:   su-etc@SAIL.STANFORD.EDU   
Relevant to bboard controversies is the following quote from Thomas Sowell's
"A Conflict of Visions".  Sowell is a Senior Fellow at the Hoover Institution.

"One of the curious things about political opinions is how
often the same people line up on opposite sides of different
issues.  The issues themselves may have no intrinsic
connection with each other.  They may range from military
spending to drug laws to monetary policy to education.
Yet the same familiar faces can be found glaring at
each other from opposite sides of the political fence, again
and again.  It happens too often to be coincidence and it
is too uncontrolled to be a plot.  A closer look at the
arguments on both sides often shows that they are reasoning
from fundamentally different premises.  These
different premises - often implicit - are hat provide the
consistency behind the repeated opposiition of individuals
and groups on numerous, unrelated issues.  They have
different visions of how the world works."

I recommend the book, although I've just started it.  I'm even hoping
to find a source in it for my statement that journalists are overwhelmingly
liberal.

∂10-Jul-87  1154	JMC  	quote for today    
To:   MINSKY%OZ.AI.MIT.EDU@XX.LCS.MIT.EDU, Hewitt@XX.LCS.MIT.EDU,
      KIRSH%OZ.AI.MIT.EDU@XX.LCS.MIT.EDU 
The United States Navy is a system designed by geniuses to be operated by idiots.

∂10-Jul-87  1358	JMC  
To:   shoham@SCORE.STANFORD.EDU  
 ∂10-Jul-87  1019	JMC  	Natural kinds 
To:   ailist@STRIPE.SRI.COM 
Recently philosophers, Hilary Putnam I think, introduced the concept
of natural kind which, in my opinion, is one of the few things they
have done that is useful for AI.  Most nouns designate natural kinds,
uncontroversially "bird", and in my opinion, even "chair".  (I don't
consider "natural kind" to be a linguistic term, because there may
be undiscovered natural kinds and never articulated natural kinds).

The clearest examples of natural kind are biological species -
say penguin.  We don't have a definition of penguin; rather we
have learned to recognize penguins.  Penguins have many properties
I don't know about; some unknown even to penguin specialists.
However, I can tell penguins from seagulls without a precise definition,
because there aren't any intermediates existing in nature.
Therefore, the criteria used by people or by the programs we build
can be quite rough, and we don't all need to use the same criteria,
because we will come out with the same answer in the cases that
actually arise.

In my view the same is true of chairs.  With apologies to Don Norman,
I note that my 20 month old son Timothy recognizes chairs and tables.
So far as I know, he is always right about the whether the objects
in our house are chairs.  He also recognizes toy chairs, but just
calls them "chair" and similarly treats pictures of chairs in books.
He doesn't yet say "real chair", "toy chair" and "picture of a chair",
but he doesn't try to sit on pictures of chairs.  He is entirely
prepared to be corrected about what an object is.  For example, he
called a tomato "apple" and accepted correction.

We should try to make AI systems as good as children in this respect.
When a an object is named, the system should generate a
gensym, e.g. G00137.  To this symbol should be attached the name
and what the system is to remember about the instance.  (Whether it
remembers a prototype or a criterion is independent of this discussion;
my prejudice is that it should do both if it can.  The utility of
prototypes depends on how good we have made it in handling similarities.)

The system should presume (defeasibly) that there is more to the concept
than it has learned and that some of what it has learned may be wrong.
It should also presume (although will usually be built into the design
rather than be linguistically represented) that the new concept is
a useful way to distinguish features of the world, although some new
concepts will turn out to be mere social conventions.

Attaching if-and-only-if definitions to concepts will sometimes be
possible, and mathematical concepts often are introduced by definitions.
However, this is a rare case in common sense experience.

I'm not sure that philosophers will agree with treating chairs as
natural kinds, because it is easy to invent intermediates between
chairs and other furniture.  However, I think it is psychologically
correct and advantageous for AI, because we and our robots exist
in a world in which doubtful cases are rare.

The mini-controversy about penguins can be treated from this point of
view.  That penguins are birds and whales are mammals has been discovered
by science.  Many of the properties that penguins have in common with
other birds have not even been discovered yet, but we are confident that
they exist.  It is not a matter of definition.  He who gets fanatical
about arbitrary definitions will make many mistakes - for example,
classifying penguins with seals will lead to not finding tasty penguin
eggs.

∂10-Jul-87  1502	JMC  	re: Mr. P & Mr. S  
To:   SWEER@SUMEX-AIM.STANFORD.EDU    
[In reply to message sent Fri, 10 Jul 87 14:49:57 PDT.]

Your friend's solution is correct.

∂10-Jul-87  1714	JMC  	Liberalism of journalists    
To:   su-etc@SAIL.STANFORD.EDU, Isaacs@PSYCH.STANFORD.EDU 
Ellen Isaacs asked me for a reference in connection with my assertion that
90 percent of journalists were liberal citing her own contrary experience.
I said I couldn't remember the source.  Today I consulted Stanford's
expert on public opinion, S.M. Lipset, and he found an article "Media and
Business Elites" in Public Opinion, October/November 1981.  This is surely
not my source, since I rarely read Public Opinion, though it may have been
the source of my source.  This study confirms the general opinion that the
media elite (they tell whom they polled in the article) are far more
liberal than the general population, e.g. 80 percent voted for McGovern in
1972 when 62 percent of the general population voted for Nixon.  However,
the percent of liberalism you would get varies according to the
characterization.  I have left a copy of the article in the CS Lounge.

∂10-Jul-87  1827	JMC  	re: Liberalism of journalists     
To:   M.MCD@HAMLET.STANFORD.EDU  
[In reply to message sent Fri 10 Jul 87 17:57:22-PDT.]

I don't believe it does, but while I was thumbing through the issues since
1981, I came across an article about the Columbia Journalism Review,
documenting its tendencies.  I didn't read it, because I was searching
for the other.  However, I recall reading something about journalism
students being quite liberal (by poll), and to a reactionary like me,
the Stanford Daily's editorials seem more liberal than students
generally - certainly more liberal than the average BBOARD contributor,
the latter reflecting the more conservative tendency of people
in or aiming towards making the pie bigger rather than towards
redividing it.

∂11-Jul-87  1656	JMC  	North    
To:   su-etc@SAIL.STANFORD.EDU   
Thomas Mandel should remember that North was not functioning as a Marine
officer during his tenure at the NSC, i.e. he was not under the command of
higher level Marine officers.  Instead he was functioning under the
President under the President's authority to conduct foreign policy, i.e.
not even under the President's function as Commander-in-Chief.  As such he had
far greater authorization to improvise policies having political
consequences than is appropriate for a military commander acting in that
role.  Indeed the President delegated the kind of policy-making
authority usually given to political appointees.  This is the President's
prerogative, but it didn't work out quite as planned.  If it did enable
the Contras to survive, then it was mainly a success.

Because of this, North is probably not subject to court-martial.  While
the use of serving military officers for essentially civilian functions is
an old custom, I have the impression that the Reagan Administration has
had to use it more than previous administrations, because the State
Department and other parts of the bureaucracy do not have enough people of
the required competence, discretion and sympathy with President Reagan's
goals.  To put it bluntly, there is a high probability that if a State
Department career appointee had North's job he would have been a liberal
who would have secretly leaked to the press and sabotaged the job in
other ways.  Besides that North is uniquely creative.  Unfortunately, as
we computer scientists should know, complex plans are likely to have bugs,
but maybe nothing simpler had a chance to succeed.

I suspect that North will have to leave the Marine Corps regardless of
how the present events turn out, because any subsequent assignments and
promotions will be considered to have political significance.  It would
be nice if he were to establish residence in the state from which one
or the other of his chief Senatorial harassers comes.

The Iran-Contra affair again reveals the unnatural reliance of the West
on the U.S. for leadership.  There are plenty of countries whose leaders
see preventing the further spread of communism as in their national
interest.  Some of them contributed to the Contras when the U.S. Congress
wouldn't, but their contributions had to be solicited by North acting
for the Reagan Administration.  This reminds me of a story.

Once in the early 70s, I got into conversation with a German visitor (to
someone else) in the buffet line at the Faculty Club.  I forget how it
came up, but he told me that he feared that when Tito died in Yugoslavia,
the Soviets would try again to take over, and he asked me
(approximately), "What are you Americans going to do about it."
It wasn't till an hour later that it occurred to me that my reply
should have been, "I dunno, what are you Germans going to do about it?"

North can say things that Reagan might like to but cannot, especially
when it comes to criticizing Congress.  Reagan's greater success with
Congress than previous Republican President's have had is partly due
to his good personal relations with them, stemming in part from his
avoidance of personal criticism.  North is not going to be asking
Senators for favors.

As to the contingency plan for martial law, if the U.S. doesn't have
an up-to-date plan for governing a country seriously damaged by nuclear
war, many people have been negligent.  Alas, that is not improbable.
It has so far been politically impossible to have any plans for
civil defense, because the liberal media helps liberal politicians
characterize planning for the contingency of war as planning to
start a war or at least as incompatible with efforts to avoid war.
This characterization is such a non-sequitur that it looks to many
of us conservatives like lying, i.e. it's hard for us to believe
that anyone can sincerely believe it.

∂11-Jul-87  1732	JMC  	re: correction
To:   R.ROLAND@LEAR.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU
[In reply to message from R.ROLAND@lear.stanford.edu sent Sat 11 Jul 87 15:52:33-PDT.]

Well, it appears that not only was Robertson discreet about what North
told him but so was God.

∂11-Jul-87  1734	JMC  	re: martial law    
To:   M.MCD@HAMLET.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU 
[In reply to message from M.MCD@HAMLET.STANFORD.EDU sent Sat 11 Jul 87 17:27:22-PDT.]

Are there any actual quotes from this alleged plan?

∂11-Jul-87  1747	JMC  	North    
To:   su-etc@SAIL.STANFORD.EDU   
From the end of a news story datelined Managua about Sandinista
interest in the North hearings.

	One of the few editorials that has appeared in the region since
    North's testimony started was published Thursday by the independent
    Tribuna newspaper in Honduras.
	''When others flee a ship that seems to be sinking, North remains on
    board facing forward. When others seek desperately to save their
    skin, blaming whoever, he sustains with deep conviction that what he
    did was right, in defense of the interests of the United States and
    of its allies,'' the editorial said.
	''After what North said, the most important thing is to observe his
    adherence without hesitation or detours to his deepest convictions.
    Thus we understand with more clarity the fiber that tempers the
    spirit of those we call national heroes.''

∂11-Jul-87  2147	JMC  	re: Preliminary inventory of free countries in the UN 
To:   LYN@SIERRA.STANFORD.EDU    
[In reply to message sent Sat 11 Jul 87 20:58:42-PDT.]

You omit Israel and Turkey.   Also Switzerland is not a member of the U.N.
Every year Freedom House publishes an international inventory of free,
partially free and unfree countries.  I don't see how you can include
Mexico and exclude Singapore.  Taiwan and South Korea are at least
partially free.

∂11-Jul-87  2200	JMC  	re: Preliminary inventory of free countries in the UN 
To:   LYN@SIERRA.STANFORD.EDU    
[In reply to message sent Sat 11 Jul 87 20:58:42-PDT.]

I should also mention that the Freedom House list is in their magazine
Freedom at Issue which is located at Stanford in the Hoover Library -
according to Socrates.  You might find it worthwhile to compare your
list with theirs.  Classifying countries according to freedom is one
of their main activities.

∂11-Jul-87  2217	JMC  	Timothy's fortune  
To:   CLT    
I forgot to mention yesterday on our return from the unsuccesful
expedition to the Library that Timothy has started accumulating
wealth.  Namely, he found a penny under a bench, and I put it in
the front pocket of the overalls he was wearing.  He correctly
identified it as a penny.

∂11-Jul-87  2250	JMC  	commentary on Smolensky article   
To:   mind!harnad@PRINCETON.EDU  
I plan to comment on it.  Because I will be away this week, and my
secretarial situation is uncertain, I'm informing you this way as
well as by the postcard.

∂12-Jul-87  0115	JMC  	re: Israel's qualifications as a free country    
To:   LYN@SIERRA.STANFORD.EDU    
[In reply to message sent Sun 12 Jul 87 00:54:45-PDT.]

All citizens of Israel can vote and be elected.  However, only Jews and
Druse serve in the army.  The West Bank is administered as an occupied
territory and not as part of Israel.  Inhabitants thereof can vote in
local elections but aren't citizens of Israel unlike Arab inhabitants of
Israel proper.  The votes of Arab deputies to the Knesset were decisive in
defeating the recent proposal that only Orthodox conversions be taken into
account for determining who is a Jew and can automatically immigrate to
Israel.

∂12-Jul-87  0843	JMC  	re: Peru's qualification as a free country  
To:   LYN@SIERRA.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU   
[In reply to message from LYN@Sierra.Stanford.EDU sent Sun 12 Jul 87 03:58:33-PDT.]

Shining Path is not exactly an Indian group, since it's run by
a professor.  Moreover, it is not possible to "respect civil liberties
in its dealings with the Shining Path", because of Shining Path's
tendency to random massacres.  I was about to say "genocidal tendencies",
but fortunately Shining Path is rarely capable of killing more than
a few tens at a time.  However, its ideology seems to be as compatible
with genocide as that of the Khmer Rouge.  Perhaps I've missed something.
Has anyone seen a document whitewashing Shining Path?

∂12-Jul-87  1111	JMC  	re: Shining path is not an Indian group, because 
To:   THEEP@SIERRA.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU 
[In reply to message from THEEP@Sierra.Stanford.EDU sent Sun 12 Jul 87 10:52:31-PDT.]

Shining Path (Sendero Luminoso in Spanish) is characterized as Maoist; in
fact I think it characterizes itself as Maoist.  However, terror in the
villages is its key weapon.  If a peasant village doesn't support it, it
kills them.  Like Khmer Rouge, where the ideology developed in Paris, its
ideology developed in the left wing community in the city (Lima presumably),
and then for Maoist ideological reasons it moved to the countryside.  It
still organizes bombings in cities, however.  I believe its leaders are
of Helen's generation.

∂12-Jul-87  1216	JMC  	re: countries supporting the contra    
To:   M.MCD@LEAR.STANFORD.EDU    
[In reply to message sent Sun 12 Jul 87 11:19:30-PDT.]

It is indeed ironic that there are no democratic countries supporting
the Contras.  It is also ironic that the democratic countries of
Europe still depend on 300,000 American troops for their defense.

As to the professor, he could have been an Indian, but it seems to me
that the newspaper article that I read mentioning him would have said
so if he was.  He might also be from a working class family, but before
looking it up I'm willing to bet $50 with Theep that he is from a middle
class family of mostly non-Indian background.  No fair looking it up before
accepting the bet.  Would someone volunteer to locate something about
Sendero Luminoso?

∂12-Jul-87  1240	JMC  	Sendero Luminoso   
To:   su-etc@SAIL.STANFORD.EDU   
A Socrates search with subject Sendero generates 28 entries with
many duplications.  They are all in Spanish except for one entitled
Revolution in Peru (Berkeley : The Committee to Support the Revolution
in Peru, 1985).  I'm prejudiced against that one.

∂12-Jul-87  1524	JMC  	(→20626 17-Jul-87) 
To:   "#___JMC.PLN[2,2]"    
I'll be at AAAI in Seattle at the Westin Hotel till Thursday evening.

∂13-Jul-87  1503	JMC  
To:   MS@SAIL.STANFORD.EDU  
It's half done.  I'll try to finish by the end of July.

∂13-Jul-87  1507	JMC  
To:   JMC    
10.0.0.11 for phon

∂16-Jul-87  2122	JMC  	re: textbooks 
To:   karen@RATLIFF.CS.UTEXAS.EDU
[In reply to message sent Mon, 13 Jul 87 14:17:34 CDT.]

I use a collection of papers that we have been reproducing for the class
and charging reproduction costs.  Is this an option at U.T. also?

∂16-Jul-87  2207	JMC  	re: AIList Digest   V5 #181  
To:   AIList@STRIPE.SRI.COM 
[In reply to message sent Tue 14 Jul 1987 22:58-PDT.]

The distinction I had in mind between natural kind and cluster is 
the presumed existence of as yet unknown properties of a natural
kind.

When I said "doubtful cases are rare", I left myself open to misunderstanding.
I meant that in case of chairs in Timothy's experience doubtful cases
are rare.  Therefore, for a child to presume a natural kind on hearing
a word or seeing an object is advantageous, and it will also be advantageous
to built AI systems with this presumption.

Finally, a remark concerning the "symbol grounding" discussion.  My
problems with it were mainly quantitative - there was just too much
to follow.  I suspect that Stevan Harnad's capacity to follow very
long discussions is exceptional.  I would welcome a summary of the
different points of view by someone who did follow it and feels himself
sufficiently uncommitted to any single point of view.

∂17-Jul-87  0000	JMC  	Expired plan  
To:   JMC    
Your plan has just expired.  You might want to make a new one.
Here is the text of the old plan:

I'll be at AAAI in Seattle at the Westin Hotel till Thursday evening.

∂17-Jul-87  1314	JMC  	touch    
To:   pehoushek@SCORE.STANFORD.EDU    
touch.lsp[e87,jmc] at SAIL contains a version of touch  similar to one
I used to test the Butterfly at AAAI.  You will need only to adapt it
to get rid of the future.  Maybe I'll do that.  Please get yourself a
SAIL account.

∂17-Jul-87  1320	JMC  	touch    
To:   pehoushek@SCORE.STANFORD.EDU    
I have added a version using qlet and commented out the previous version
which was checked out in maclisp.

∂17-Jul-87  1347	JMC  	test function for qlisp 
To:   RPG    
test.lsp[e87,jmc] contains a function I would like to try on qlisp as
soon as possible for various values of (mktest n) and  k.  I tried
a scheme version on the Butterfly at AAAI and got various statistics,
but because there wasn't time to go into memory contention questions,
the results don't prove much except that excessive parallelism isn't
good and that some parallelism is helpful.  The program has been
debugged in maclisp with  future the identity function.

∂18-Jul-87  1933	JMC  	re: private American armies  
To:   LYN@SIERRA.STANFORD.EDU, su-etc@SIERRA.STANFORD.EDU 
[In reply to message from LYN@Sierra.Stanford.EDU sent Sat 18 Jul 87 18:43:15-PDT.]

The Lafayette Escadrille, I believe, consisted of Americans fought in
the French Air Force in WW I before the U.S. entered the war.

∂18-Jul-87  2051	JMC  
To:   DEK    
I would like to discuss the fate of SAIL with you.

∂18-Jul-87  2315	JMC  	re: [Robert L. Causey <AI.CAUSEY@R20.UTEXAS.EDU>: Natural Kinds]
To:   AI.CAUSEY@R20.UTEXAS.EDU, ailist-request@STRIPE.SRI.COM  
[In reply to message from AI.CAUSEY@R20.UTEXAS.EDU sent Sat 18 Jul 87 15:34:18-CDT.]

I agree with Bob Causey's comments and agree that the open questions he
lists are unsolved and important.  I have one caveat.  The distinction
between nomological and functional kinds exists in sufficiently elaborate
mental structures, but I don't think that under 2 year olds make the
distinction, i.e. have different mechanisms for learning them.  For this
reason, it is an open question whether it should be a primary distinction
for robots.  In a small child's world, chairs are distinguished from other
objects by appearance, not by function.  Evidence: a child doesn't refer
to different appearing objects on which he can also sit as chairs.
Concession:  there may be such a category "sittable" in "mentalese", and
languages with such categories might be as easily learnable as English.
What saves the child from having to make the distinction between kinds
of kinds at an early age is that so many of the kinds in his life are
distinguishable from each other in many ways.  The child might indeed
be fooled by the different generations of calculator, but usually he's
lucky.

I hope to comment later on how robots should be programmed to identify
and use kinds.

∂19-Jul-87  1155	JMC  	re: thanks    
To:   AI.CAUSEY@R20.UTEXAS.EDU   
[In reply to message sent Sun 19 Jul 87 12:51:18-CDT.]

I am also looking forward to it.

∂19-Jul-87  2120	JMC  	Contra support in Central America 
To:   su-etc@SAIL.STANFORD.EDU   
Friday's Wall Street Journal in an editorial reports on polls taken
in the U.S. and in Central America.  North's testimony raised the
percent in U.S. favoring aid to Contras from 32% to 40%, but still
25% think Nicaragua is ruled by a right wing dictatorship as opposed
to 29% who say it has a communist government.  The Central American
results are more interesting.

In the following C stands for Costa Rica, H for Honduras, E for
El Salvador, G for Guatemala.

1. Whether Sandinista government represesents majority or minority.

		C	H	E	G
majority	11	14	18	27
minority	79	70	64	64
don't know	10	11	18	 9

2. Which side do majority of Nicaraguans support?

Sandinistas	12	14	20	23
Contras		72	75	46	60
No opinon	16	11	34	17

3. Who treats civilians better in the war zones?

Sandinistas	 6	 6	10	18
Contras		72	74	45	60
Don't know	22	20	44	22

4. Do you approve or disapprove of Amercan military aid to Contras?

Approve		70	81	69	68
Disapprove	21	 9	23	28
Don't know	 9	10	 8	 4

Also in a different poll, 48% of Hondurans thought the Contras would
eventually win, and 11% thought the Sandinistas would prevail.

The poll was carried out by the Central American affiliates of the
Gallup organization.

∂19-Jul-87  2204	JMC  	re: NASA Money?    
To:   RDZ@SUSHI.STANFORD.EDU
[In reply to message sent Sun 19 Jul 87 21:33:06-PDT.]

Sounds like you're doing the right thing.  At some point someone like
me or Nils will have to talk to them.

∂20-Jul-87  1000	JMC  	re: Visiting Appointment Expenses 
To:   CLT    
[In reply to message sent Thu, 25 Jun 87 08:13:08 cdt.]

My immediate opinion is that what we will want to ship will be more
than books and papers and will cost more than $100.  I'll think
about it and inquire about costs.  We haven't moved in a long
time, and I'm sure everything has gotten more expensive.

∂20-Jul-87  1002	JMC  	re: Visiting Appointment Expenses 
To:   CLT    
[In reply to message sent Thu, 25 Jun 87 08:13:08 cdt.]

Driving expenses should be based on utexas formula for the miles
and motel expenses on utexas formula for 3 days travel.

∂20-Jul-87  1240	JMC  
To:   RA
Please tex perlis.re1[let,jmc] and fix what's wrong.

∂20-Jul-87  1320	JMC  	two invoices to send    
To:   RA

to: Fitzpatrick, Cella, Harper and Scinto
277 Park Ave.
New York, NY 10172
Attention: Donald J. Curry

consulting services: July 18, 1987
$400

to: Maxwest
265 Lytton Ave
Palo Alto, CA 94301
Attention: Sheila Starr

expenses for Seattle trip for Symbolics panel

hotel expenses per Westin Hotel bill $419.84
air ticket	San Jose-Seattle and return $228.00
parking San Jose airport $50.00
round trip Palo Alto - San Jose airport 
taxis in Seattle $20

∂20-Jul-87  1656	JMC  
To:   RA
Please send my biography to
Ruth Levine
Standing Ovations
8380 Miramar Mall, Suite 225
San Diego 92121

∂20-Jul-87  1740	JMC  
To:   RA
no they paid it.

∂20-Jul-87  2202	JMC  	re: Liam Peyton's Messages on Nicaragua
To:   SIEGMAN@SIERRA.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU
CC:   peyton@SUSHI.STANFORD.EDU 
[In reply to message from SIEGMAN@Sierra.Stanford.EDU sent Mon 20 Jul 87 21:38:26-PDT.]

As I recall, it was $3500 worth of sunglasses.  It wasn't the glasses that
were so expensive; it was the Gucci frames.  At that, buying them at
Cohen's Fashion Optical saved the people of Nicaragua money compared to
what it would have cost to buy them further uptown where the store might
have been more discreet.  I have a wild conjecture that letting it be
known that Ortega bought them served the communist cause.  As expected,
the flap died down quickly, and it told any military men in underdeveloped
countries that a taste for luxury was entirely compatible with leftist
slogans in taking power.

∂20-Jul-87  2211	JMC  	re: GI-Joe    
To:   S.SHANTI@MACBETH.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU  
[In reply to message from S.SHANTI@macbeth.stanford.edu sent Mon 20 Jul 87 20:01:08-PDT.]

The theory that priests and nuns necessarily "have no axe to grind" is
mistaken.  Anyone can have an ideological axe to grind once having taken
a position, and the Maryknolls and the American Friends Service Committee
(among many others) certainly have plenty of positions to maintain.  I
remember seeing an AFSC poster with photos of happy children and cheerful
workers in textile factories urging tolerance of the "Kampuchean experiment"
long after most newspapers had become convinced that the Cambodian genocide
was real.  Mr. Bond says "I really don't care what the Administration says
about the Sandinistas" or, I suppose, what evidence the Administration offers.
Mr. Bond's mind is made up, and he only wants confirmation of his views.

∂20-Jul-87  2223	JMC  	re: Lyn & JMC on Nicaragua   
To:   PEYTON@SUSHI.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU 
[In reply to message from PEYTON@sushi.stanford.edu sent Mon 20 Jul 87 00:50:56-PDT.]

Mr. Peyton travelled with a group to Nicaragua.  He doesn't report any
effort to talk to people except in the company of the group.  What his
somewhat tame rightwingers told him may have been tempered by their
knowledge that anything said to that group would get back to the
Sandinistas.  His group could have talked to Contras, e.g. by making
a side trip to Costa Rica or Honduras or merely to Miami - but it
didn't.

"Political Pilgrims" by Paul Hollander describes how the political pilgrims
of Stalin's day were convinced there was no famine or oppression in the
Soviet Union, how pilgrims convinced themselves that the Great Leap
Forward and the Cultural Revolution were great, how others convinced
themselves that Castro was great, how still others convinced themselves
that North Vietnam was great.  Ortega finds the same line works, and the
pilgrims come and help build the Gulag.  Mr. Peyton cites statistics about
literacy as if he had measured the before and after literacy himself.

Someone left a book by P.J. O'Rourke in the CSD lounge that contains
a report of his recent voyage up and down the Volga in the company
of a batch of peaceniks who saw exactly what they intended to see.

∂21-Jul-87  0011	JMC  
To:   VAL    
I'm probably not going to Milan.  Could you get me a Proceedings?

∂21-Jul-87  1156	JMC  	connectionist summer school       
To:   TOURETZKY@C.CS.CMU.EDU, aaai-office@SUMEX-AIM.STANFORD.EDU    
I have decided that AAAI will support it with $10K as requested.  Please make
all further arrangements with Claudia Mazzetti.

∂21-Jul-87  1157	JMC   	connectionist models summer school    
To:   aaai-office@SUMEX-AIM.STANFORD.EDU   
Received: ID <TOURETZKY@C.CS.CMU.EDU>; Mon 29 Jun 87 06:03:48-EDT
Date: Mon 29 Jun 87 06:03:48-EDT
From: Dave.Touretzky@C.CS.CMU.EDU
Subject: connectionist models summer school
To: jmc@SAIL.STANFORD.EDU
Message-ID: <12314324318.19.TOURETZKY@C.CS.CMU.EDU>

John,

Last year Geoff Hinton, Terry Sejnowski and I organized a nine day
Connectionist Models Summer School at CMU.  We are seeking funds to hold
another one in 1988.  The original summer school, which cost a little under
$30,000, was sponsored by a grant from the Sloan Foundation.  For the next one
we are hoping to find three sponsors willing to share the expense.  We already
have a tentative commitment from Lee Giles at AFOSR for $10,000.

The first summer school brought together 40 students, including 5 from Europe,
and sixteen tutors and guest lecturers.  We received nearly 150 applications
for the available places.  The increasing interest in connectionism, the
continuing shortage of researchers in this area, and the enthusiasm of the
first set of attendees lead us to believe that it ought to be repeated.

The primary goal of the summer school is to nurture and train new
connectionists, mainly graduate students, but also junior faculty members.  The
people we seek have already begun working in the area, but are isolated and
would thus benefit from an intensive exposure to some of the leaders of the
field.  The faculty of the first summer school consisted of Dana Ballard and
Jerry Feldman from Rochester, David Rumelhart and Pat Churchland from UCSD,
Paul Smolensky from UC Boulder, Andy Barto from UMass, Christof Koch from MIT,
Jim Anderson from Brown, David Tank from AT&T Bell Laboratories, Robert Hummel
from NYU, David Willshaw from the Medical Research Council (Edinburgh), Scott
Fahlman and Jay McClelland from CMU, plus Hinton, Sejnowski, and me.  The
program was divided between tutorial lectures in the morning and small
discussion groups in the afternoon, each led by a faculty member.  There was
also time set aside for demos in the evenings, and several attendees used our
local computing facilities to conduct research.

Would AAAI be interested in co-sponsoring the 1988 summer school?  I spoke with
Raj and Claudia about it, and they suggested that funding might be arranged
through the workshop program you administer.  If you would agree to contribute
$10,000, I would have no trouble raising the remainder.  Please let me know
what you think.

Thanks,  -- Dave
-------
-------

∂21-Jul-87  1208	JMC  
To:   aaai-office@SUMEX-AIM.STANFORD.EDU   
Workshops in AI sponsored by AAAI.

AAAI has a programme to sponsor workshops in particular areas of AI.  So
far more than 20 have been sponsored.  The format is not prescribed except
that this program does not sponsor large conferences.

Here are some policies.

1. Up to $10K can be approved per workshop.

2. No honoraria for speakers or overhead to institutions will be paid.

3. Any workshop emphasizing commercial technology must be neutral
among the suppliers of relevant technology, e.g. people from the
different suppliers should be contacted and should have equal opportunity
to submit papers.

4. Proposals should be sent to
John McCarthy.

Electronic mail to JMC@SU-AI.STANFORD.EDU is preferred, but U.S.
mail to

Professor John McCarthy
Computer Science Department
Stanford, CA 94305

will also work.  If you get impatient you can phone (415)723-4430.

5. Proposals should contain approximations to the following:
	a. budget.
	b. subject, detailed enough to evaluate relevance to AI
and possible overlap with other workshop proposals.
	c. conditions of participation including how papers
and attendees are to be selected.
	d. when and where if this is known.
	e. program committee if this is known

6. Correspondence should be copied to AAAI-OFFICE@SUMEX.STANFORD.EDU
or to

Ms. Claudia Mazzetti, Executive Director
AAAI
445 Burgess St.
Menlo Park, CA 94025

You can phone her at (415)328-3123.

7. After McCarthy has approved the proposal further arrangements should
be made with Mazzetti at the AAAI office.  This includes transfer of
money and possible help with publicity and workshop preprints and
publication.

8. After the workshop is finished there should be a report suitable
for publication in AI Magazine.

9. There should also be a financial report to the AAAI office, and
unexpended money is to be returned to AAAI.

10. AAAI assumes no financial responsibility for any debts or other
financial obligations that may be incurred by workshop organizers nor any
liabilities for their actions.

∂21-Jul-87  1236	JMC  	comparison    
To:   su-etc@SAIL.STANFORD.EDU   
Clearly it is almost 10 times better to be the "leader" of a communist
country than a democratic one.

a213  1219  21 Jul 87
AM-People,0762
People In The News
LaserPhoto NY44
    MIAMI (AP) - El Salvador President Jose Napoleon Duarte went on a
buying spree in a Miami arts supply store on his way back from a
state visit to West Germany, store employees say.
    ''He came in with all these Secret Service agents,'' said Aaron
Morris, vice president of Rex Art. ''We didn't know who he was until
my mother asked.''
    Duarte sat on the store's floor talking to Morris' father, Mel,
about which color tubes to buy, among other topics that didn't
include politics, Morris said.
    Duarte paints oversize, finely detailed landscapes as a hobby, aides
said, but doesn't make his paintings public.
    His tab last week totaled more than $400 and included paints,
brushes and canvas in 76-inch-wide rolls, store employees said. He
paid with an American Express card.
    ---

∂21-Jul-87  1301	JMC  
To:   LES    
There are apparently many incarnations of Tom Knight.

∂21-Jul-87  1306	JMC  	Tom Knight    
To:   LES    
I'm now concerned that Tom Knight's login has become a base for network
hacking.  A few minutes ago, he was logged in, and I sent a message
asking, "Which incarnation of Tom Knight are you?"  I now see that
he has disappeared.  I had heard that various people used his login
semi-legitimately to reach M.I.T., but this suggests illegitimacy.
I suggest appropriate action.

∂21-Jul-87  1333	JMC  	re: alex 
To:   CLT, IAM    
[In reply to message from CLT rcvd 21-Jul-87 13:09-PT.]

It's in my calendar.

∂21-Jul-87  1705	JMC  	loop
To:   RPG    
I find the  loop  construct objectionable on the grounds of its Englishy
syntax.  I'm not sure the objection is more than aesthetic, but I think
so.  Programs that read and write loop statements will have a different
and more complex form than programs that read and write ordinary LISP
syntax.  I suppose the objection would be largest from the point of view
of an interpreter that must read the same program fragment many times.

Is it worthwhile making this objection to the CL standardizers?  Is its
acceptance a foregone conclusion or very unlikely?  Also have a large
number of constructs open to the same objection already been accepted?

∂21-Jul-87  1755	JMC  	Here is the original A.P. story again. 
To:   su-etc@SAIL.STANFORD.EDU   
a083  0950  25 Oct 85
PM-Sandinista Specs,0189
Nicaraguan President Goes on $3,500 Eyeglass Spree
    NEW YORK (AP) - The president of Nicaragua and his wife, here for
the U.N. anniversary session, bought $3,500 worth of fashion
eyeglasses from an East Side optician and covered the splurge with a
Diner's Club card, the shop manager says.
    With the Secret Service telephoning in advance, President Daniel
Ortega Saavedra pulled up Wednesday in a 17-car motorcade at Cohen's
Fashion Opticals on Lexington Avenue and 60th Street, said Jeff
Kirsch.
    ''They were here an hour. He was easygoing; he took whatever his
wife said. She was very picky,'' said Kirsch.
    Mrs. Ortega ordered three Gucci frames for herself and three
Fioruccis for her daughter.
    Ortega bought six Silhouette frames with polycarbonate lenses, the
sturdy plastic used for bulletproof shields in taxicabs. His
eyeglasses were $300 each.
    He had another set of the plastic lenses put into a frames he
already owned, said Kirsch.
    Silhouette and Gucci frames start at about $180 each, said Kirsch,
and Fioruccis run about $50 less.
    The Ortegas' charge card came from the Nicaraguan U.N. Mission.

**** Hint for leftists.  The best defense is offense.  $25 for
the neatest way of changing the subject.  Points will be awarded
for authentic style and chutzpah.

The prize was awarded with $15 to MRC and $10 to Allen van Gelder.
Crispin was judged more sincere.

∂21-Jul-87  2207	JMC  	re: Loop 
To:   RPG    
[In reply to message rcvd 21-Jul-87 21:39-PT.]

What's the format for stating such objections?

∂22-Jul-87  1452	JMC  
To:   AIR    
We need a report by the end of the month.

∂23-Jul-87  1624	JMC  	re: Alliant memory 
To:   JJW@SAIL.STANFORD.EDU, CLT@SAIL.STANFORD.EDU,
      LES@SAIL.STANFORD.EDU, RPG@SAIL.STANFORD.EDU,
      IGS@SAIL.STANFORD.EDU
[In reply to message from JJW rcvd 23-Jul-87 16:21-PT.]

My a priori opinion is that we should try to get one of the 32 megabyte
boards but try for some bargaining on price.

∂24-Jul-87  1819	JMC  	re: reply to message    
To:   VAL    
[In reply to message rcvd 24-Jul-87 14:41-PT.]

No, I'm not registered.

∂24-Jul-87  1827	JMC  	re: Ronald Reagan's AIDS commission: the conservative majority  
To:   R.ROLAND@LEAR.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU
[In reply to message from R.ROLAND@lear.stanford.edu sent Fri 24 Jul 87 15:28:42-PDT.]

It is not surprising that a conservative President would pick a panel with
a conservative majority.  However, I'll predict that there will be few or
no left vs. right votes in the panel, and that the report will be signable
by all members with perhaps some reservations on some points - mainly
points like including AIDS among the diseases tested premaritally on which
positions already seem to have hardened.

∂24-Jul-87  1848	JMC  	re: Readings on scientific explanation 
To:   ESWOLF@SUSHI.STANFORD.EDU  
[In reply to message sent Fri 24 Jul 87 18:30:53-PDT.]

I'm sorry, but I don't remember what I had in mind.  In any case my
acquaintance with the literature is far less than that of any
professional philosopher of science.

∂25-Jul-87  0015	JMC  
To:   RA
I need to send Livermore a bill.

∂25-Jul-87  1820	JMC  	re: Inverse Method Project Schedule    
To:   brink@SUSHI.STANFORD.EDU
CC:   VAL@SAIL.STANFORD.EDU    
[In reply to message from brink@Sushi.Stanford.EDU sent Sat 25 Jul 87 18:13:12-PDT.]

Anything that suits Vladimir is ok with me.

∂26-Jul-87  1257	JMC  	re: liberal bias in SU Humanities departments    
To:   ROSENBLUM@SIERRA.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU  
[In reply to message from ROSENBLUM@Sierra.Stanford.EDU sent Sun 26 Jul 87 11:35:41-PDT.]

Seems like political prejudice on Mr. Rosenblum's part to me.  Is political
prejudice more moral than race or religious prejudice?

∂26-Jul-87  1311	JMC  	re: liberal bias in SU Humanities departments    
To:   LYN@SIERRA.STANFORD.EDU    
[In reply to message sent Sun 26 Jul 87 11:20:19-PDT.]

I'm puzzled not to find the editorial in my copy.  What page?

∂27-Jul-87  0012	JMC  	re: JPL Issue on Logic & AI  
To:   Rich.Thomason@C.CS.CMU.EDU 
[In reply to message sent Sun 26 Jul 87 17:27:57-EDT.]

OK, dec 1

∂27-Jul-87  1403	JMC  
To:   VAL    
Hilpinen, Risto	Dept. of Philosophy
		Univ. of Turku
		SF-20500 Turku
		Finland
		(office: 011 358-21-645418)
		(home: 358 21 542513)

∂27-Jul-87  1711	JMC  	t among those registered to vote. 
To:   su-etc@SAIL.STANFORD.EDU   
It turns out that George Marotta had sent me a copy of his "The Illiberal
Liberal Environment at Stanford University".  I'm sure he'll be glad to
send a copy to anyone else who requests it from him at Hoover.  His
address gives the percentages for each party and the percentages
registered in the nearby counties.  Presumably someone registered
far away would have been missed.  The percent Democrat listed in
Marotta's paper and quoted by Hearst in his editorial are among
those registered to vote.

Just to check I asked a rather conservative member of the Sociology
Department about his own registration, and he said Democrat and
remarked that it was interesting that four he mentioned specifically
were all registered Democrats.  My opinion is that these four had
probably voted Republican recently as have many California Democrats.
Many people who became Democrats when the party was more
to the right of where it has been since 1972 remain Democrats in
registration but often vote Republican.

However, the largest single cause of the bias is self-selection.
There is a strong correlation between people's political self-identification
as high school students and their subsequent college majors and
career choices.  Thus someone who thinks that humanity is best served
by making the pie bigger is likely to become an engineer, while someone
who thinks it is best served by redividing the pie is likely to
specialize in political science or law.  Somone whose goal is to
control his own life is likely to become a businessman, while someone
who has strong opinions on how others should live their lives is
likely choose psychology or sociology or political science or journalism.
Their are yet other correlations.  Mathematicians are to the left
of physicists who are to the left of chemists who are to the left
of engineers.

Nevertheless, Marotta's figures are rather spectacular.  The issue
is whether it causes politically biased academic decisions, especially
concerning appointments.  There is some evidence that it has, especially
in political science.  Both Shockley and Stockdale were rather roughly
treated when the wanted to give courses expressing their different
views.  In my opinion, intellectual and political biases strongly
effected the administrative and bureaucratic reasons that were
given for their suppression.

Perhaps the University should have an affirmative action program
on behalf of conservative scholars.  Instead it goes the other
way with the campaign to find academic reasons to suppress the
Hoover Institution.

∂27-Jul-87  1726	JMC  	salvage from the Titanic
To:   su-etc@SAIL.STANFORD.EDU   
There is an issue of taste.  The people who first discovered the
wreck expressed the view that there should be no salvage.  This
would be unprecedented.  The general custom and international law
is that anyone can salvage anything he likes from a wreck unless
it is in some country's territorial waters, which the Titanic isn't.
Anyone is entitled to express aesthetic objections to salvage
from the Titanic.  You can imagine that 50 years from now it will
be technologically feasible for tourists to visit the Titanic,
and it will be regarded as like a national park where it is
forbidden to pick flowers.

As for anti-French views expressed in su-etc, sometimes it seems
to me that there is a law of conservation of animus - a remark
whose possible obscurity I do not intend to clarify.

∂27-Jul-87  2217	JMC  
To:   JDP    
touch.lsp[e87,jmc]	Program tested on Butterfly and on Alliant

∂28-Jul-87  1146	JMC  	measuring the bias of press  
To:   su-etc@SAIL.STANFORD.EDU   

The last paragraph of this message provides a way of measuring it
objectively.

Helen Cunningham asks me to provide evidence that the press has a liberal
bias.  She also offers an impression that the press ignored various faults
of Reagan that she recounts.  I presume that she got her information about
these faults from the press, so some part of the press didn't ignore what
she regards as Reagan's faults.  Therefore, her complaint must be of the
character that some papers didn't report it, or they didn't emphasize it
sufficiently as THE defining characteristic of Reagan.  We conservatives
grumble that the press tends to ignore that for the first time in more
than 20 years, during the Reagan Administration, inflation and unemployment
fell simultaneously.

  I have to confess that much of my
opinion that the press has a liberal bias is also impressionistic.
There is a difference between reporters and editorial writers in
many papers, most striking in the case of the Wall Street Journal,
where the editorial page is consistently conservative, while the
reporters often succeed in slanting stories in a liberal direction.
However, two incidents that stick in my mind are both headlines from
the San Francisco Examiner.  In January 1975 or 1976, the Ford Administration
budget was leaked a day or so before it was officially released.  The
Examiner headline was "Ford budget hits poor''.  The headline was not
especially warranted by the story, which summarized a few of the thousands
of items in the story.  The second Examiner headline referred to the
robbery of the Brink's van in New York with the murder of three guards
and the capture of some of the leading Weatherman people.  The headline
was "Boudin caught in daring Brinks caper".  The idea of describing
a robbery and murder as a "daring caper" struck me as extreme, and
the in-group character of "Boudin caught" was also striking.  It's hard
to imagine that even one percent of Examiner readers knew who Boudin
was.

Accuracy in Media provides many anecdotes of what conservatives regard
as liberal press bias.  One example they cite, I forget whether it is
from Accuracy in Media or Accuracy in Academia refers to massacres in
Vietnam.  They recount that in some large audience of contemporary
students, everyone had heard of My Lai, where some Americans killed about
100 Vietnamese and Lieutenant Calley was court-martialled, convicted
and imprisoned.  (It wasn't stated whether they knew about the court-martial).
On the other hand, not one had heard of the Hue massacre in 1968 in
which 3,000 civilians were killed by the North Vietnamese when they
temporarily captured the city of Hue.

A contemporary example might be this.  Recall that the Central American
poll said that more people in those countries thought the Contras treat
civilians in combat zones better than the Sandinistas do.  It seems to
me that one would have quite the reverse impression from the U.S. press.
This suggests that incidents of Sandinista mistreatment of civilians
are much more reported in the Honduran, El Salvadoran and Guatemalan
press than in the U.S. press.  Consider, for example, the forced relocation
of civilians by the Sandinistas from zones where the civilians
tend to favor the Contras.  The bare fact has been reported, but there
isn't a repeated sequence of stories corresponding to the sequence
of anti-Contra stories in the American press that the Sandinistas succeed
in getting sympathetic journalists to print.

However, Helen asks me for evidence.  She doesn't offer any hint on
what would be considered evidence.  The trouble is that what I consider
a story that is a scandal to suppress, she might regard as an irrelevance
and vice versa.

Nevertheless, it is possible to do something objective.  Examine the
explicitly liberal press and the explicitly conservative press.  I'd pick
the Washington Times as the conservative newspaper and the Washington Post
as the liberal one.  Take the ten items regarded by each as most
significant on the basis of their emphasis in editorials.  Then examine
the amount of coverage of these items by the TV networks and the leading
newspapers and wire services.  This will tell us whether the liberals or
the conservatives have more to grumble about.

As a computer scientist rather than a media analyst, I'm not going to
do this work.  However, someone could do something with a program
that would analyze the A.P. stories we get in the computer.

∂28-Jul-87  1445	JMC  	re: Course at Austin    
To:   MSINGH@WARBUCKS.AI.SRI.COM, konolige@WARBUCKS.AI.SRI.COM 
[In reply to message from MSINGH@WARBUCKS.AI.SRI.COM sent Tue 28 Jul 87 14:34:45-PDT.]

Please tell whoever needs to know at U. Texas that I endorse your
enrollment in my course on the basis of your intention to do
doctoral work in the areas of formalizing belief, action and
intention.

∂28-Jul-87  1531	JMC  	re: A question both of you agree on (I think?)   
To:   Crispin@SUMEX-AIM.STANFORD.EDU,
      acken%SONOMA.STANFORD.EDU@SUMEX-AIM.STANFORD.EDU
[In reply to message from Crispin@SUMEX-AIM.STANFORD.EDU sent Tue, 28 Jul 87 15:15:29 PDT.]

While an atheist, I'm not militant about it, because I don't see religion
per se as a threat to anything important.  Therefore, I don't approve of
Madalyn O'Hair's bullying the religious.  The relevant quote to me is
Admiral George Dewey's command after destroying the Spanish fleet at
Manila Bay - "Don't cheer, boys.  The poor devils are dying".

∂28-Jul-87  1700	JMC  	re: Problems with TheoryNet redistribution through AFLB    
To:   SCHAFFER@SUSHI.STANFORD.EDU
[In reply to message sent Tue 28 Jul 87 16:34:27-PDT.]

Got it.

∂29-Jul-87  1307	JMC  	re: pictures  
To:   RA
[In reply to message rcvd 29-Jul-87 12:59-PT.]

Thanks for finding about the pictures.  I have put a check in my out box.
Please write a letter for me to sign.  Enclose the slip that has the
number, because it's the only way they can identify the pictures, since
they didn't take my name.

∂29-Jul-87  1458	JMC  	re: [AAAI <AAAI-OFFICE@SUMEX-AIM.STANFORD.EDU>: Committee involvement]    
To:   AAAI-OFFICE@SUMEX-AIM.STANFORD.EDU   
[In reply to message sent Wed, 29 Jul 87 14:49:48 PDT.]

I wondered if you had hired someone named We Loo.

∂30-Jul-87  1442	JMC  	workshop policies  
To:   hart@STRIPE.SRI.COM   
Workshops in AI sponsored by AAAI.

AAAI has a programme to sponsor workshops in particular areas of AI.  So
far more than 20 have been sponsored.  The format is not prescribed except
that this programme does not sponsor large conferences.

Here are some policies.

1. Up to $10K can be approved per workshop.

2. No honoraria for speakers or overhead to institutions will be paid.

3. Any workshop emphasizing commercial technology must be neutral
among the suppliers of relevant technology, e.g. people from the
different suppliers should be contacted and should have equal opportunity
to submit papers.

4. Proposals for science oriented workshops should be sent to
John McCarthy.

Electronic mail to JMC@SU-AI.STANFORD.EDU is preferred, but U.S.
mail to

Professor John McCarthy
Computer Science Department
Stanford, CA 94305

will also work.  If you get impatient you can phone (415)723-4430.

5. Proposals should contain approximations to the following:
	a. budget.
	b. subject, detailed enough to evaluate relevance to AI
and possible overlap with other workshop proposals.
	c. conditions of participation including how papers
and attendees are to be selected.
	d. when and where if this is known.
	e. program committee if this is known

6. Correspondence should be copied to AAAI-OFFICE@SUMEX.STANFORD.EDU
or to

Ms. Claudia Mazzetti, Executive Director
AAAI
445 Burgess St.
Menlo Park, CA 94025

You can phone her at (415)328-3123.

7. After McCarthy has approved the proposal further arrangements should
be made with Mazzetti at the AAAI office.  This includes transfer of
money and possible help with publicity and workshop preprints and
publication.

8. After the workshop is finished there should be a report suitable
for publication in AI Magazine.

9. There should also be a financial report to the AAAI office, and
unexpended money is to be returned to AAAI.

10. AAAI assumes no financial responsibility for any debts or other
financial obligations that may be incurred by workshop organizers nor any
liabilities for their actions.

∂31-Jul-87  1840	JMC  	re: your paper, "Circumscription -- a Form of Non-monotonic Reasoning"    
To:   SJG    
[In reply to message rcvd 31-Jul-87 16:32-PT.]

There was no good reason, except possibly that I was out of reprints.  It
may be that the computer file version has the addendum incorporated.
I'll check that and let you know - unless you know already.  You can
have it any way you want.  I don't remember any misprints in the printed
version.

∂31-Jul-87  1845	JMC  	Beer
To:   su-etc@SAIL.STANFORD.EDU   
Two yuppie points each for those who know which beers they ought to like
and which they ought to detest.

∂01-Aug-87  0056	JMC  	Beers    
To:   su-etc@SAIL.STANFORD.EDU   
I have $50 that says that anyone who has listed 5 or more good beers
on su-etc cannot tell them apart in a blindfold test.

∂01-Aug-87  0835	JMC  	re: Beers     
To:   PATASHNIK@SUSHI.STANFORD.EDU    
[In reply to message sent Sat 1 Aug 87 07:27:41-PDT.]

Let me see what other offers I get.

∂01-Aug-87  1225	JMC  	re: Lying
To:   SINGH@SIERRA.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU 
[In reply to message from SINGH@Sierra.Stanford.EDU sent Sat 1 Aug 87 11:42:56-PDT.]

If you can define the issue in such a way that only your adversary's
possible lies are in question, you can shade the truth with considerable
impunity.

Harinder Singh's quotations about lying have a bias of a very common
sort - namely a bias about whose lies are in question.  For example,
the issue of whether General Westmoreland was lying about Vietnam
was prominently in the news, but the issue of whether CBS was lying
about Vietnam was not.  My opinion is that there are many possible
haggles about who said what and what it meant, but in the essence of
the matter, Westmoreland was telling the truth, and CBS was lying.

North's success, while actually on TV, consisted of changing the subject
from the minor one of what deceptions he and other Government officials
engaged in, to the major one of what the communists did in Vietnam and
Cambodia and are doing in Nicaragua and what we should do about it and
aren't doing.  I recently read in Accuracy in Media that the networks
failed to report what North said about these important subjects and
concentrated on the minor issue.  Accuracy in Media also reports many
incidents in which the press and TV report lies as facts and then
decline to give the refutations any play even when the lies are
retracted by the people who uttered them.

Unfortunately, North isn't on TV any more, the press has succeeded in
changing the subject again, and none of the more recent witnesses has
had North's courage and ability to emphasize the important.

∂01-Aug-87  1723	JMC  	covert actions
To:   su-etc@SAIL.STANFORD.EDU   
In response to Harinder Singh's challenge, let me state that there are
many kinds of covert action that I don't consider permissible.  Indeed the
present administration and all previous administrations have observed
various inhibitions.  Even inhibitions that were not always observed have
had inhibitory force on many occasions.  Therefore, it is wrong to suppose
that an inhibition sometimes violated doesn't exist at all.  The main
inhibition is that we should refrain from warlike acts against countries
and movements with which we are not at war - whether declared or
undeclared.  However, there is a confusion between what we may do and our
support, e.g. with money and supplies, of governments or movements that
are at war.  Thus while we should not mine Nicaraguan harbors or blow up
Nicaraguan power stations, the fact that the Contras, who are at war with
the Sandinistas, do so doesn't violate our own inhibition.

This is challenged on two grounds.  First some people, including, of course,
the Sandinistas and their friends claim that the Contras are not an
independent group but a creation of the U.S.  The Soviets also say this
about the Afghan resistance.  In neither case is this true.  We can
influence the Contras, but they are not our property to be turned
on and off at will.  (Ideally we should have a treaty with them ratified
by the Senate as we once did with South Vietnam.  However, as North
said, we betrayed our treaty and moral obligations to South Vietnam,
so a treaty wouldn't protect the Contras either.  Anyway they don't
claim to be a government yet, and we should observe the inhibition
of not recognizing governments that don't control some territory.)

Second some people would claim that the U.S. Government is fully morally
responsible for the actions of anyone we support with the means to
carry out military action.  In response, I merely observe that making
the distinction between what a supported force does and what its
supporter does is important for maintaining such peace as we have
in the world.  Thus we did not attack the Soviet Union for supplying
North Vietnam, and they don't attack us for supporting the Afghan
rebels.  Of course, we and they both complain.

I further think that any limitations on covert action that we can agree
about with the Soviet Union are valuable.  There are many informal
limitations.  For example, neither we nor they assassinate each others
spies in third countries and I believe that neither currently undertakes
killings on each other's territory.  Previously, the Soviets did not
observe this inhibition.  Of course, the matter is confused when someone
does such things, and the power that backs them claims they are acting
independently.

There is some confusion about whether the Soviet Union is responsible
for what foreign communist organizations do.  Especially, during Stalin's
time, foreign communist organizations were often under such tight
Soviet control that they were responsible.  However, my opinion is that
communism is an evil that is independent of the existence of the Soviet
Union and might be even stronger ideologically, though probably not
militarily, if the Soviet Union didn't exist.

I have never studied even what is publicly available about covert action,
so I can't say much more.

I agree that there are no moral claims against reciprocity.  If the CIA
did actually attempt to assassinate Castro, and not merely prepare to
be able to do it, then we can have no moral objection to Castro having
helped Oswald assassinate Kennedy, if they did that.  Of course, if
they did that, we might still retaliate militarily, but we weren't
sufficiently convinced that they were involved for such action even
to be considered.

∂01-Aug-87  1738	JMC  	re: JMC and major/minor issues    
To:   HENNING@SIERRA.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU    
[In reply to message from HENNING@Sierra.Stanford.EDU sent Sat 1 Aug 87 15:03:27-PDT.]

There certainly were people who thought that Stalin was more of a menace
than Hitler, but I think they were wrong.  Hitler really was out to
conquer whatever he could of the world by direct military force.
Communism wants to make the world communist, i.e. like the Soviet Union.
Hitler wanted to make the world satellite to Germany and maybe even to
enslave it in a literal sense.  For example, it was said that many Polish
cultural figures were killed on the grounds that there was no need for
Polish cultural figures in the future Hitler planned for Poland - only
peasants.  I'm not actually certain how well documented Hitler's plans
were.  A similar attitude toward Ukrainians and Russians changed the
attitude of many people who initially welcomed the Germans as liberators
from communism.

Had he conquered the Soviet Union, it would have taken hundreds of atomic
bombs to beat him, assuming we got enough before he got some that could
attack the U.S.  Actually our war with Hitler started when he declared war
on us after the Japanese attacked Pearl Harbor.

Of the people who thought we shouldn't support the Soviets at all, some
were probably actual supporters of Hitler.  All were subject to denunciation
as such by the left.  There wasn't any real politicl possibility of
standing aside, and the matter was far more subject to political forces
than to the recommendations of any "smart study group at State".

∂01-Aug-87  2220	JMC  	visas    
To:   "Yuri_Gurevich"@UM.CC.UMICH.EDU, VAL@SAIL.STANFORD.EDU   
Hilpinen called me yesterday, but I only returned the call this morning.
He said the Soviet organizers told him that all was in order for
both of you.  I think we have to wait until at least Tuesday to
raise the issue again.  The San Francisco vice consul told me
that they needed a cable "from the organizing committee" to release
any visas for the Congress.  I don't think it's exactly the organizing
committee but rather some other department in the Party or KGB, but
that's what they say.  The key question is to be sure that when others
get their visas yours are given also.  Therefore, please keep in touch
with Feferman.  It would be good to find some American who also plans
to leave a week early and monitor him.

∂02-Aug-87  1254	JMC  	re: Lying
To:   PALLAS@SUSHI.STANFORD.EDU
CC:   SINGH@SIERRA.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU   
[In reply to message from PALLAS@Sushi.Stanford.EDU sent Sun 2 Aug 87 11:43:55-PDT.]

Exaggerations from Joe Pallas:

"Col. North and Adm. Poindexter clearly believe that the threat of
communism in Nicaragua is more important than democracy in the US."

"The notion that we must abandon our ideals in order to preserve them
is certain to destroy us."

Doubtless Col. North didn't think that democracy in the U.S. was
endangered by using the Iranians to finance the Contras and by lying
about it.  I think he was right.  Democracy has survived far more
substantial maneuverings between the executive and the legislature.

I'm afraid I don't regard the desires of Congressmen in holding hearings
as sacred.  They did it as a TV opportunity for their political advantage,
and North's success in temporarily changing the subject is to be admired
as an exercise in political skill by an unexpected person.  It is to be
approved by those of us who think that North was right about what is
important.  These feelings are related to my feelings of deprivation
with regard to getting views I agree with before the public.  One of
my Walter Mitty fantasies is to turn the tables on a TV interviewer
or even a Congressional committee.

Besides, what North said was relevant to the specific point the
committee was "investigating".

∂02-Aug-87  1344	JMC  	re: international terrorism  
To:   R.ROLAND@LEAR.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU
[In reply to message from R.ROLAND@lear.stanford.edu sent Sun 2 Aug 87 13:21:51-PDT.]

"So why is Ronald Reagan always complaining about the Soviet Union
supporting various terrorist liberation movements around the world?"

Everyone has a right to complain about support of causes they regard as
bad.  I didn't say no-one has a right to complain about our support of
the Contras if they regard our cause as bad.  They just don't have the
same justification if we were doing ourselves what the Contras do.

Moreover, there is a distinction between materially aiding a rebellion
and helping random terrorism, e.g. blowing up civilian airplanes,
shooting up civilian airports and taking hostages.  A few years ago,
someone blew up a civilian Cuban plane in the air.  I hope we stopped
supporting that group if we were, and I hope even more that the CIA
did not know that this was what this group was likely to do.

There is a slippery slope, and I believe we should stay pretty far up
on it.

I don't know precisely what movements Roland calls "terrorist liberation
movements".  I can't think at the moment of any to which I would apply
both adjectives "terrorist" and "liberation".  Would he say?

∂02-Aug-87  1429	JMC  	Tohoku lecture
To:   MS@SAIL.STANFORD.EDU  
I have finished editing it and TEXed it.  Mainly it still has the
informal style of the lecture, although I put in a little material
from one of mine and one of Vladimir's papers.  I have TEXed it,
and I can either computer mail the TEX source or airmail a printed
version or both.

∂02-Aug-87  1513	JMC  	report   
To:   AIR    
It looks ok.  I have drafted a letter to Peled of IBM asking for renewed
support.  Please give copies of your report to Les and to Carolyn.  I
will explore the possibility of continuing your support longer working
on Qlisp while we give Peled time to think and talk to H-P.

∂02-Aug-87  2159	JMC  	AI and science
To:   ailist@STRIPE.SRI.COM 

	Like mathematics, philosophy and engineering, AI differs
from the (other) sciences.   Whether it fits someone's definition
of a science or not, it has need of scientific methods including
controlled experimentation.

	First of all, it seems to me that AI is properly part of
computer science.  It concerns procedures for achieving goals
under certain conditions of information and possibility for action.
We can even consider it analogous to linear programming.  Indeed if
achieving one's goals always consisted finding the values of
a collection of real variables that would minimize a linear
function of these variables subject to a collection of linear
inequalities, then AI would coincide with linear programming.

	However, the relation between goals, available actions,
the information initially available and that can later be acquired
is sometimes more complex than in any of the branches of computer
sciences the main character of whose scientific treatment consists
of mathematical theorems.  We don't have a mathematical formalization
of the general problem faced in AI let alone general mathematical
methods for their solution.  Indeed what we know of human intelligence
doesn't suggest that a conventional mathematical formalization of
the problems intelligence is used to solve even exists.  For this
reason AI is to a substantial degree an experimental science.

	The fact that a general mathematical formalization of the problems
intelligence solves is unlikely doesn't make mathematics useless in AI.
Many aspects of intelligence are formalizable, and languages of
mathematical logic are useful for expressing facts about the common
sense world, and logical reasoning, especially as extended by non-monotonic
reasoning is useful for drawing conclusions.

	In my view a large part of AI research should consist of the
identification and study of intellectual mechanisms, e.g. pattern
matching and learning.  The problems whose computer solution exhibits
these mechanisms should be chosen for reasons of scientific perspicuousness
analogously to the fact that genetics uses fruit flies and bacteria.
A. S. Kronrod once said that chess is the {\it Drosophila} of artificial
intelligence.  He might have been right, but the organizations that
support research have taken the view that problems should be chosen
for their practical importance.  Sometimes it is as if the geneticists
were required to do their work with elephants on the grounds that
elephants are useful and fruit flies are not.  Anyway chess has been
left to the sportsmen, most of whom only write programs, not scientific
papers and compete about who can get time on the largest computers or
get someone to support the construction of specialized chess computers.

	Donald Norman's complaints about the way AI research is
conducted have some validity, but the problem of isolating
intellectual mechanisms and making experiments worth repeating is
yet to be solved, so it isn't just a question of deciding to
be virtuous.

	Finally, I'll remark that AI is not the same as cognitive
psychology although the two studies are allied.  AI concentrates
more on the necessary relations between means and ends, while
cognitive psychology concentrates on how humans and animals
achieve their goals.  Any success in either endeavor helps the other.

	Methodology in AI is worth studying, but acceptance of its results
should be moderated by memory of the behaviorist catastrophe in
psychology.  Doctrines arising from methodological studies crippled the
science for half a century.  Indeed psychology was only rescued by ideas
arising from the invention of the computer --- and at least partly ideas
originating in AI.

∂03-Aug-87  1430	JMC  	manufacturing science   
To:   richardson@SCORE.STANFORD.EDU   
Please send me a copy of Eustis's summary of discussions
referred to in Nils's message.

∂03-Aug-87  1442	JMC  	re: Hitler's ends and means (1 of 3)   
To:   LYN@SIERRA.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU   
[In reply to message from LYN@Sierra.Stanford.EDU sent Mon 3 Aug 87 09:21:29-PDT.]

The specific reason Britain and France went to war in 1939 is that they
had a treaty with Poland requiring them to do so.  You can ask why they
signed such a treaty, and why, having signed it, they didn't renege on it.
I don't know when the treaty was negotiated and signed, so it's hard to
say to what extent it was specifically designed to deter Hitler.  They
didn't renege, because of an inhibition against reneging on treaties,
because they felt betrayed by the violation of Hitler's promise that he
had no further ambitions, because they became convinced that Hitler's
ambitions were limitless, because people like Churchill had (correctly)
called them fools and cowards for not standing up to Hitler previously,
and because they believed that if war was inevitable, they would be
politically and militarily weaker if they delayed further.

∂03-Aug-87  2344	JMC  	AAAI will support the workshop on Open Systems for up to $7K.  Please
To:   stefik.pa@XEROX.COM, aaai-office@SUMEX-AIM.STANFORD.EDU  
make all further arrangements with Claudia Mazzetti.

∂03-Aug-87  2353	JMC  	AAAI will support it with $10K.  Please make all further arrangements
To:   norvig%cogsci.Berkeley.EDU@UCBVAX.Berkeley.EDU
CC:   aaai-office@SUMEX-AIM.STANFORD.EDU    
with Claudia Mazzetti.

∂03-Aug-87  2358	JMC  	re: Driver's License's  
To:   J.JBRENNER@MACBETH.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU
[In reply to message from J.JBRENNER@macbeth.stanford.edu sent Mon 3 Aug 87 21:38:38-PDT.]

The experiment of not requirign driver's licenses that you suggest has been
made.  There are 50 states, and for many years some of them did not require
any test.  I presume the results were considered unsatisfactory.

∂04-Aug-87  1030	JMC  
To:   VAL    
I informed Hilpinen about the visas.

∂04-Aug-87  1721	JMC  
To:   JMC    
For those interested in the implications of the Putnam/Kripke philosophy of
natural kinds for the psychology of concepts, I recommend the article I
alluded to in a previous message, Georges Rey's "Concepts and Stereotypes",
Cognition 15:1-3 (1983).

This piece is a philosophically informed critique of Smith & Medin's book
"Categories and Concepts" (1981).  Medin & Smith offer a reply in Cognition
17:3 (1984), and Rey answers their reply in Cognition 19:3 (1985).

∂04-Aug-87  1725	JMC  	natural kinds 
To:   aweinste@BBN.COM 
I agree with your posting.  However, with regard to the sharpness of
distinctions, I think it is necessary to distinguish between sharpness
of definitions and lucking out because dubious intermediates happen
not to exist in nature or in the actual artifactual environment.
By the way, I have mislaid the reference to Putnam's discussion and
never had it for Kripke's.  Do you have the references?

∂04-Aug-87  2136	JMC  	re: lost luggage   
To:   VAL    
[In reply to message rcvd 04-Aug-87 21:30-PT.]

He can call American Airlines luggage control at
214 574-6577 and ask for Sally.  He should probably mention
that it is the piece of luggage about which she telephoned me.

∂04-Aug-87  2141	JMC  	re: wics 
To:   VAL    
[In reply to message rcvd 04-Aug-87 21:32-PT.]

Yes, I'll lecture tomorrow morning.

∂04-Aug-87  2224	JMC  	rationalizing Hitler    
To:   su-etc@SAIL.STANFORD.EDU   
You can regard almost everything Hitler did as laid out in Mein Kampf
both with intentions and reasons.  However, it requires too much
ingenuity to be plausible.  The fact is that Hitler was excited by
his successes and inclined to push everything as far as it would go.
Consider the extermination of 500 thousand gypsies in the death camps.
There was no doctrine that the gypsies were responsible for Germany's
troubles.  It's just that having created the death camps for the Jews
and created a mechanism for rounding up people and shipping them to
the death camps, they asked themselves who else they should exterminate
while they were at it.  Someone suggested exterminating the gypsies -
who needs them in the new order - and somebody, presumably Hitler,
OKed it.  That surely wasn't in Mein Kampf.

Even apart his irrational goals, Hitler was extraordinarily irrational.

∂04-Aug-87  2319	JMC  
To:   VAL    
Can you have lunch with me and Nils and Dick Gabriel Thursday 12:15?

∂05-Aug-87  1238	JMC  	re: Lunch
To:   RPG@SAIL.STANFORD.EDU, VAL@SAIL.STANFORD.EDU,
      Nilsson@SCORE.STANFORD.EDU   
[In reply to message rcvd 05-Aug-87 08:59-PT.]

RPG can't make it Thursday, so it's Friday at 12:15 instead.  Nilsson
will make reservations.  VAL may be slightly late or might not be able
to make it.

∂05-Aug-87  1422	JMC  	re: AI discussion group at UT
To:   jc@RATLIFF.CS.UTEXAS.EDU   
[In reply to message sent Wed, 5 Aug 87 16:02:45 CDT.]

Thanks for inviting me.  I'll be glad to come some Wednesday.

∂05-Aug-87  1652	JMC  	visas    
To:   dana.scott@C.CS.CMU.EDU, sf@CSLI.STANFORD.EDU  
Lifschitz and Gurevich have received their visas.  As of yesterday,
Gelfond had not.  Like Lifschitz he is scheduled to leave this
Saturday, but I suppose he'll get it by mail in Texas.  He sent
his application to San Francisco, and the Consulate official implied
they had it, although he said Gelfond should have sent it to Washington.
Anyway, thanks for your efforts.

∂05-Aug-87  1749	JMC  	re: your sabatical 
To:   RA
[In reply to message rcvd 05-Aug-87 17:48-PT.]

My leave is not a sabbatical, it is for Fall only, and I will be
here Winter quarter.

∂06-Aug-87  0104	JMC  	reply to message   
To:   VAL    
[In reply to message rcvd 06-Aug-87 01:01-PT.]

That's great.  Make sure that you have the telephone numbers of the
U.S. consulate in Leningrad and the Embassy in Moscow.  Also please
leave me whatever telephone numbers are relevant.  I anticipate no
need for any of this, but it's well to be prepared.

∂06-Aug-87  0114	JMC  	get phone numbers  
To:   SMC    
Please call the State Department in Washington and get the phone
numbers of U.S. Embassy in Moscow and U.S. Consulate in Leningrad.
Mail them to VAL as well as to me.

∂06-Aug-87  1040	JMC  	visas    
To:   dana.scott@C.CS.CMU.EDU, sf@CSLI.STANFORD.EDU  
Gelfond has his visa now, so thank you for your efforts.  We'll never
know whether they were necessary.  I phoned Hilpinen to thank him
for his efforts.

∂06-Aug-87  1057	JMC  	paper to Japan
To:   SMC    
Mail it electronically to MS.  It will be forwarded to Japan.

∂06-Aug-87  1136	JMC   	RAships 
To:   LES, CLT    
 ∂06-Aug-87  1108	BERGMAN@Score.Stanford.EDU 	RAships
Received: from SCORE.STANFORD.EDU by SAIL.STANFORD.EDU with TCP; 6 Aug 87  11:08:33 PDT
Date: Thu 6 Aug 87 11:06:33-PDT
From: Sharon Bergman <BERGMAN@Score.Stanford.EDU>
Subject: RAships
To: faculty@Score.Stanford.EDU
Message-ID: <12324373672.22.BERGMAN@Score.Stanford.EDU>

Please send me a list of students you plan to support during the 1987-88
academic year along with their source of support.  I need this information 
soon since research assistant appointment forms are now due in the Graduate 
Awards office.  The forms need to be processed as soon as possible so that 
the students receive their bills with the correct tuition applied.

Also, there is a list available of new incoming Ph.D. students with their 
areas of interest.  If you would like to look at the list with a view towards  
possibly supporting some of these students, please let me know.

-Sharon Bergman
-------

∂06-Aug-87  1737	JMC  
To:   SMC    
phone, playpen, car rental, best way to ship books,

∂06-Aug-87  1741	JMC  
To:   SMC    
Roberto Coisson (physics prof italy)
SSRL 854-3300 Susan Lovegren is the Stanford contact.
       x-2095

∂06-Aug-87  1827	JMC  	possible bungle    
To:   SMC    
The hoter-hotter stuff goes to Virginia Mann.  The stuff that goes to
Sato at Sendai is tohoku[s87,jmc].

∂06-Aug-87  2107	JMC  	re: ehud shapiro's e-mail address 
To:   Restivo@SUSHI.STANFORD.EDU 
[In reply to message sent Thu 6 Aug 87 16:47:33-PDT.]

No. You might ask Yoav Shoham.

∂06-Aug-87  2258	JMC  	re: visas     
To:   SF@CSLI.STANFORD.EDU  
[In reply to message sent Thu 6 Aug 87 22:54:32-PDT.]

No, but Lifschitz and Gelfond are leaving this Saturday.  Issuing visas
at the last minute is Soviet policy.  Therefore, I'm confident that we'll
get ours in time.

∂07-Aug-87  1211	JMC  	re: hawk 
To:   SMC    
[In reply to message rcvd 07-Aug-87 12:08-PT.]

Thanks for hawk.

∂07-Aug-87  2000	JMC  	Some are lucky
To:   su-etc@SAIL.STANFORD.EDU   
Is the Palo Alto pilot one of SU-ETC's flying enthusiasts?
a277  1950  07 Aug 87
AM-Planes Collide,0204
News Station Plane and Cessna Land Safely
    PALO ALTO, Calif. (AP) - A news station traffic-spotting plane and a
small aircraft collided Friday near here, but pilots of both planes
managed to land safely at different airports, officials said.
    The station's traffic reporter, Lynn Durling, landed his Mooney
plane at nearby San Carlos Airport, while the unidentified pilot of
the other craft, a Cessna 152, landed safely at Palo Alto Airport,
according to Dick Hallen, a duty officer for the Federal Aviation
Administration in Los Angeles.
    Both planes were operating under visual flight rules when the
collision occurred about 5:30 p.m. at about 1,900 feet three miles
southwest of Palo Alto, Hallen said.
    The pilot of the Cessna had just taken off from Palo Alto, Hallen
said. Neither of the pilots nor two passengers on Durling's plane was
seriously injured, the station reported.
    The runway in Palo Alto, about 50 miles south of San Francisco, was
temporarily closed because the plane could not be moved because of
damage, the station reported.
    FAA representatives planned to inspect the planes Friday night and
the National Transportation Safety Board is expected to begin an
investigation Saturday, Hallen said.
    
 
 
AP-NY-08-07-87 2244EDT
***************

∂08-Aug-87  0112	JMC  	re: exemptness
To:   SOL@CSLI.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU
[In reply to message from SOL@CSLI.Stanford.EDU sent Sat 8 Aug 87 00:56:08-PDT.]

Exempt means exempt from certain provisions of the labor laws - for example,
those requiring payment for overtime.  Management, supervisory and professional
employees are exempt.  Secretaries, clerical employees and technicians cannot
be exempt.

∂08-Aug-87  1716	JMC  	HAWK'S PROGRESS IN THE USSR  
To:   su-etc@SAIL.STANFORD.EDU   
Lt. General Daniel O. Graham, ret.
Director, High Frontier

In mid-may, my office received a call from the office of the Secretary
General of the United Nations. I was invited to participate and deliver a
paper at a ``meeting of experts'' at Sochi on the Black Sea in the
U.S.S.R. My subject was to be the ``military uses of space in the 1900s.''
This aroused my curiosity. For one thing, I was sure the UN Secretary
General didn't know me from Adam, and secondly, my views on the subject
have been published in many a book and article.

	When the details arrived, it turned out not {\bf really} to be a
UN affair but a Soviet affair paid for in full by the U.S.S.R. When this
became clear, I demurred on the basis of my policy not to go anywhere on
Soviet money.  But they insisted. I nominated other American spokesmen.
Still they insisted. I said I owed my wife some time at home. They invited
her to come also.

	Finally, I became so curious as to why the Soviets wanted to hear
from this stauch opponent on issues such as SDI, I agreed.

	The junket proved most interesting. Representatives of 25
countries assembled with a high-powered contingent of Soviets including
the Deputy Minister of Foreign Affairs, Alexander Bessmertnykh. Two
Arlingtonians, Ambassador Ed Rowny and I, spoke for the United States. Of
course, all the Soviet satellites were represented, as well as China,
Japan, India, France, Germany, Canada, the United Kingdom, Sweden,
Austria, and five or six Third World nations. The meeting was chaired by a
{\bf very} careful Japanese UN official. The Soviet press was there in
force, but no Western press---this despite efforts on my part to have it
otherwise. Visas were refused U.S. reporters whose editors had agreed to
send them at their newspaper's expense. The Soviet excuse: no
accomadations at Sochi.

	Since Ambassador Rowny was able to attend for only a short time,
the conference of ``experts'' centered on a head-on conflict between me
and Soviet three-star general Chervov of the Soviet General Staff over
SDI. Chervov was the typical Russian bear. He blustered and paid no heed
at all to the discomfited Japanese chairman's attempts to shorten his
tirades or give others equal time.

	Chervov's message: Defenses against ballistic missiles on the
ground (such as the Soviets have now) are moral and benign;such defenses
in space (such as the Soviets want but can't get as fast as we can) are
immoral, evil, and destabilizing.  He rattled on at length with the
anti-SDI arguments we hear from American critics---SDI militarizes space,
causes a new arms race, threatens attack on the USSR, offends the ABM
treaty, etc. But two arguments we hear in the United States were
conspicuously absent: that it can't be done, and that the Soviets would
simply build more missiles to ``overwhelm'' any U.S. SDI defenses. They
would not make these arguments even though I doggedly challenged them to
do so. They know better.

	My position was made easy by quoting Soviet authorities on
strategic defenses.  Colonel General Talensky, eminent Soviet strategist,
said that such defenses are stabilizing since they do nothing unless
``nuclear aggression is already underway.'' Vice Premier Kosygin said that
defenses are designed to save lives rather than destroy them and are
therefore sensible. Marshal Ogarkov, former Soviet Minister of Defense,
said in 1982:``Strategic defenses are not only desirable, they are
inevitable.''

	All I had to do was agree with these Soviet spokesmen and let
General Chervov try to make the case that one kind of technology,space
technology, should be excluded from use in the cause of defense versus
offence. He couldn't do it.

	The trip was pleasant. There is nothing like going first class in
a classless society. And it was useful in that it showed a near frenetic
effort on the part of the Soviets to kill off SDI politically, since they
have no real military-technical counter to it. The Soviets wanted this
particular champion of SDI to attend in order to determine what might
cause people like me to back off.  They found that for those of us who see
SDI as the real change of strategy it is---away from reliance on the
nuclear vengeance of MAD to the sensible notion of self defense--- there
is no effective Soviet blandishment.

∂08-Aug-87  1717	JMC  	Hawk's progress    
To:   SMC    
Thanks for typing it.  However, the TEX was unnecessary.  I should have
told you that I wanted in the computer in order to post it on SU-ETC.

∂09-Aug-87  1013	JMC  
To:   SMC    
U.S. Mail Cuthbert Hurd a copy of "Some expert systems need common sense".  It's in the drawer with my other papers.

∂09-Aug-87  1142	JMC  
To:   SMC    
remind me about expense reports.

∂09-Aug-87  1624	JMC  
To:   SMC    
Pls. ask Bookstore if Positivism by R. von Mises is still in print.

∂10-Aug-87  0956	JMC  	Rabinov charges    
To:   bergman@SCORE.STANFORD.EDU
CC:   CLT@SAIL.STANFORD.EDU, LES@SAIL.STANFORD.EDU,
      AIR@SAIL.STANFORD.EDU    
This is to authorize charging Arkady Rabinov to Qlisp for August, September
and October.  He will work out with me, Carolyn and Igor what he will do
for the project.

∂10-Aug-87  1047	JMC  	bike locker   
To:   LES, ME
I would like to get my bike locker back in January.  To this end I'm
willing to pay rent on it if necessary from the time it becomes
rentable again.  However, anyone can use it till then.  Do you want my
key?

∂10-Aug-87  1742	JMC  	re: area X    
To:   ullman@NAVAJO.STANFORD.EDU, genesereth@SUMEX-AIM.STANFORD.EDU,
      nilsson@SCORE.STANFORD.EDU, wiederhold@SUMEX-AIM.STANFORD.EDU,
      winograd@CSLI.STANFORD.EDU 
[In reply to message from ullman@navajo.stanford.edu sent Mon, 10 Aug 87 10:55:49 PDT.]

I don't think the fact that your students will be first through
the pipe should inhibit you from drafting a syllabus.

∂10-Aug-87  2353	JMC  	re: Computer chess game 
To:   ILAN@SCORE.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU
CC:   IGS@SAIL.STANFORD.EDU    
[In reply to message from ILAN@Score.Stanford.EDU sent Mon 10 Aug 87 21:09:17-PDT.]

Let me make my usual grumble.  It should be known what the program was
thinking about.  Commenting on a machine's moves the way one comments
on a person's is silly.  Berliner should be asked to rerun the program
on the move with suitable tracing turned on.

∂11-Aug-87  1332	JMC  
To:   SMC    
Your ex-roommate Anita called and would like you to call her.

∂11-Aug-87  1404	JMC  
To:   SMC    
Call Joleen Barnhill and ask if she has a spare copy of my and vladimir's course notes.

∂11-Aug-87  1710	JMC  	re: bert 
To:   SHOHAM@SCORE.STANFORD.EDU  
[In reply to message sent Tue 11 Aug 87 15:32:03-PDT.]

Many thanks for the Russell quote and also for the wine.

∂11-Aug-87  1747	JMC  	re: great leaders of peace   
To:   MACMILK@SCORE.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU
[In reply to message from MACMILK@score.stanford.edu sent Tue 11 Aug 87 12:20:09-PDT.]

Some of us atheists know where "turning the other cheek" came from.

∂11-Aug-87  2222	JMC  	re: chess game
To:   ILAN@SCORE.STANFORD.EDU, GINSBERG@SUSHI.STANFORD.EDU
CC:   su-etc@SAIL.STANFORD.EDU   
[In reply to message from ILAN@Score.Stanford.EDU sent Tue 11 Aug 87 19:45:25-PDT.]

I assume the complete search to fixed depth is modified by alpha-beta and
the evaluation takes quiescence into account.  Is this so?

∂12-Aug-87  0004	JMC  
To:   SMC    
Please bring the boxes to the house.

∂12-Aug-87  0901	JMC  	re: great leaders of peace   
To:   MACMILK@SCORE.STANFORD.EDU 
[In reply to message sent Wed 12 Aug 87 08:27:06-PDT.]

Well, I wouldn't have thought so except for the way your original message
was written.

∂12-Aug-87  1013	JMC   	Courtesy Appointments  
To:   SMC    
 ∂12-Aug-87  0919	ROSE@Sierra.Stanford.EDU 	Courtesy Appointments   
Received: from SIERRA.STANFORD.EDU by SAIL.STANFORD.EDU with TCP; 12 Aug 87  09:18:58 PDT
Date: Wed 12 Aug 87 09:17:32-PDT
From: Susan J. Rose <ROSE@Sierra.Stanford.EDU>
Subject: Courtesy Appointments
To: dek@Sail.Stanford.EDU, jmc@Sail.Stanford.EDU, ullman@Score.Stanford.EDU,
    cheriton@Pescadero.Stanford.EDU, wiederhold@SUMEX-AIM.Stanford.EDU
cc: rose@Sierra.Stanford.EDU
Message-ID: <12325926691.20.ROSE@Sierra.Stanford.EDU>


Greetings, 
    I am in the middle of reappointing you as a professor by courtesy to the
EE Department.  One thing I need from you is a current CV to submit with
the paperwork.  You can send it to Sue Rose, 150 McCullough or if you have
it on line, send to rose@sierra.  Thank you for your help.
Sue Rose
-------

∂12-Aug-87  1351	JMC  	group members 
To:   SMC    
Vladimir Lifschitz VAL
Dan Pehoushek, JDP
Joe Weening JJW
Igor Rivin, IGS
Arkady Rabinov, AIR
Gian-Luigi Bellin GLB
(not present) Jussi Ketonen, JK

∂12-Aug-87  1404	JMC  	re: Hitler and Britain  
To:   Crispin@SUMEX-AIM.STANFORD.EDU, SU-etc@SAIL.STANFORD.EDU 
[In reply to message from Crispin@SUMEX-AIM.STANFORD.EDU sent Wed, 12 Aug 87 10:29:25 PDT.]

I think Lynn Bowman has fallen into the hands of a crank as his
source of what Hitler was up to.  Trouble is I don't remember what
the reviewers said, but I vaguely remember that they had many
specific disagreements.

∂12-Aug-87  1708	JMC  	re: movie query: A Boy and His Dog, written by Harlan Ellison   
To:   douglis@DECWRL.DEC.COM, LYN@SAIL.STANFORD.EDU
CC:   su-etc@SAIL.STANFORD.EDU
[In reply to message from douglis@decwrl.DEC.COM sent Wed, 12 Aug 87 14:48:07 pdt.]

The ending sounds like what one ought to expect from Harlan Ellison.

∂13-Aug-87  0028	JMC  	re: long distance phone companies 
To:   ILAN@SCORE.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU   
[In reply to message from ILAN@Score.Stanford.EDU sent Wed 12 Aug 87 23:36:13-PDT.]

I'm astonished that a mathematician wouldn't know the difference between
average cost and marginal cost.  In fact Sprint is losing money and may
go out of business, and I'm not sure that MCI is making money either.
Presumably their largest single cost is interest on the money they
borrowed to put up their lines and switching facilities.  It appears
they cannot charge significantly less than AT&T and avoid bankruptcy.
I don't know what the current figure is, but at one time AT&T's investment
in new facilities of all kinds was 20 percent of the industrial investment
in the country.

∂13-Aug-87  1250	JMC  	re: Inverse Method project   
To:   brink@SUSHI.STANFORD.EDU   
[In reply to message sent Thu 13 Aug 87 12:31:36-PDT.]

I'm very busy now, so I can't give it much thought.  Therefore, my answer
is, quoting Pooh-Bah, "Name your fiction; I'll endorse it".  Decide what
you want to do, petition for it and MAIL me a copy.  I'm going to Russia
on Saturday and will return to U. Texas, Austin, where I'll be till
January.  However, I will be available electronically (jmc@sail) after
Sept. 1.

∂13-Aug-87  1551	JMC  	re: Long distance phone companies 
To:   ILAN@SCORE.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU   
I'm still not satisfied with Ilan's amended position.  I don't know whether
it is yet true that cross-country bandwith is now cheap enough so that its
marginal cost is very low.  Eventually it surely will be.  Then it would
be possible to charge for telephone calls independently of distance within
the country and still later for the whole world.

However, determining the rates that ought to be charged is more complex and
involves at least the following considerations.

1. Politics.  When rates are set by public utilities commissions, then
advocates of various groups can try to get favorable rates.  Historically,
business has paid higher rates than homes for every kind of telephone
service.  Of course, this led to people operating businesses out of their
homes to try to use residential service and the telephone companies to
try to police it.  The other subsidy was that long distance prices were
kept artificially high in order to subsize local service.  "Consumerists"
still advocate this.  We all subsidize "life line" services, which were
originally advocated so that poor elderly people could call the doctor.
Naturally, non-poor non-elderly people used the service too, and when
the phone companies tried to limit the length of calls, it was claimed
that the lonely poor elderly needed long phone calls.
You can be for or against such subsidies, but politics is a factor.
The growth of competing phone services has limited subsidies, because
MCI and Sprint are allowed to go after the profitable business long
distance service.

2. Many complications arise when the average costs of a service are
high and the marginal costs are low.  Suppose there is a potential
new user of the service.  He can be served profitably at anything
above marginal costs.  If his demand curve makes the service valuable
to him only at a low price, then the provider of the service will
try to define a service valuable only to him, so that the customers
paying average cost or more won't be able to switch.  Thus we have
airline special fares, etc.  The pre-1975 ruling doctrine was that
the Government should determine what prices are "fair" and make
the providers charge them.  Since that time, opinion has shifted
to allowing the providers to search out new markets and compete
with each other by adjusting prices and services.  A large part of
the increase in air travel since that time was caused by promotional
fares, which would not have previously been legal.  Sales attract
bargain hunters, but must be arranged so as not to divert people
in the habit of paying full price - except from competitors.

3. The whole thing admits of a formulation that is symmetric between
buyer and seller.  As a buyer, I would like to know the seller's
production cost curve for producing one item and pay the marginal
cost of producing the item.  As a seller, I would like to know the
buyer's demand curve and sell to him at a price that makes buying
the item from me barely worthwhile to him.  This assumes that the
sellers marginal production cost is less than the buyer's marginal
demand, for otherwise they have no motivation to do business.
A salesman will often ask a customer, "What's it worth to you?", whereas
the customer asks the salesman, "What does it cost you to make
one more?" or even, "Surely, selling to me for a low price is
better than letting it just sit there on the shelf".

Where the price will end up depends on a variety of factors, chiefly
competition on both sides, clever design of seller's offers or
buyer's RFQs, and considerations of equity and politics.

Returning to the telephone companies, suppose it is now equally cheap for
them to provide calls to the East Coast and Milpitas.  It still may be
advantageous for phone companies to charge more for the former on the
mere grounds that people are used to paying more or in some psychological
sense, a call to the East Coast is worth more to the user than a call
to Milpitas, say on the grounds that he sees his Milpitas friend often
and his East Coast friend but rarely.

∂13-Aug-87  1653	JMC  	re: meta-commentary
To:   SJG    
[In reply to message rcvd 13-Aug-87 14:32-PT.]

Thanks for the helpful remarks.

∂13-Aug-87  1653	JMC  	BBS 
To:   harnad@PRINCETON.EDU  
Here's a TEX source on Smolensky.  A paper copy follows.
\input memo.tex[let,jmc]
%smolen[e87,jmc]		On Smolensky's "Proper Treatment of Connectionism"

\title{Epistemological Challenges for Connectionism}

1. The notion that there is a subsymbolic level of cognition between a
symbolic level and the neural level is plausible enough to be worth
exploring.  Even more worth exploring is Smolensky's further conjecture
that the symbolic level is not self-sufficient, especially where intuition
plays an important role, and the causes of some symbolic events must be
explained at some subsymbolic level.  The possibility that present day
connectionism models this subsymbolic level is also worth exploring,
but I find it somewhat implausible.

	An example of Smolensky's proposal is that the content of some new
idea may be interpretable symbolically, but how it came to be thought of
may require a subsymbolic explanation.  A further conjecture, not explicit
in the paper, is that an AI system capable of coming up with new ideas may
require a subsymbolic level.  My own work explores the contrary conjecture
--- that even creativity is programmable at the symbolic level.
Smolensky doesn't argue for the connectionist conjectures in the paper,
and I won't argue for the logic version of the ``physical symbol system
hypothesis'' in this commentary.  I'll merely state some aspects of it.


2. The paper looks at the symbolic level from a certain distance
that does not make certain distinctions --- most important being
the distinction between programs and propositions and the different
varieties of proposition.

3. My challenges to connectionism entirely concern epistemology ---
not heuristics.  Thus I will be concerned with what the system finally
learns --- not how it learns it.  In particular I will be concerned with
what I call {\it elaboration tolerance}, which I call the ability of a
representation to be elaborated to take into account additional phenomena.

	From this point of view, the connectionist examples
I have seen suffer from what might be called the unary or even propositional
fixation of 1950s pattern recognition.   The basic predicates are all
unary and are even applied to a fixed object, and a concept is
a propositional function of these predicates.  The room classification
problem solved by Rumelhart, Smolensky, McClellan and Hinton (1986)
is based on unary predicates of rooms, e.g. whether a room contains
a stove.  However, suppose we would like the system to learn that the
butler's pantry is the room between the kitchen and the dining room
or that a small room adjoining only a bedroom and without windows is
a closet.  As far as I can see the RSMH system is not ``elaboration
tolerant'' in this direction, because its inputs are all unary
predicates on single rooms.  To handle the butler's pantry, one
might have to build an entirely different connectionist network,
with the RSMH network having no salvage value.
My epistemological concerns might be satisfied by an explanation of
of what the inputs and outputs would be for a connectionist network
that could identify all the rooms of a house, including those whose
identification depends on their relation to other rooms.

I might remark that the 1960s vision projects at Stanford and M.I.T. were
partly motivated by a desire to get away from the unary bias of the 1950s.
The slogan was ``description, not mere discrimination''.  Indeed one of
the motivations for starting on robotics was to illustrate and explore the
fact that to pick up a connecting rod a robot requires more than just
identifying the scene as containing a connecting rod; it requires a
description of the rod and its location and orientation.  Perhaps
connectionist models can do this, and it seems to me very likely that it
can be done subsymbolically.  I hope that Smolensky will address this
question in his response to the commentaries.

A semi-heuristic question of elaboration tolerance
 arises in connection with NETTALK, described
in (Rosenberg and Sejnowski 1987).  After considerable training the
network adjusts its 20,000 weights to translate written English into
speech.  One might suppose that a human's ability to speak is similarly
represented by a large number synaptic strengths learned over years.
However, an English speaking human can be told that in the roman
alphabet transcription of Chinese adopted in the PRC, the letter Q
stands for the sound |ch|, and the letter X for the sound |sh|.
He can immediately use this fact in reading aloud an English text
with Chinese proper names.  Clearly this isn't accomplished by
instantly adjusting thousands of synaptic connections.  It would
be interesting to know the proper connectionist treatment of how
to make systems like NETTALK elaboration tolerant in this way.

∂13-Aug-87  1802	JMC  
To:   SMC    
Custom Floors, San Jose

∂13-Aug-87  2228	JMC  	re: the economics of telephone companies    
To:   R.ROLAND@MACBETH.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU  
[In reply to message from R.ROLAND@MACBETH.STANFORD.EDU sent Thu 13 Aug 87 20:45:41-PDT.]

"... then it might be more efficient for the government to nationalize all
telephone companies and give everybody ...".  Roland, aren't you from a
country where the Government has always operated the telephone system - or
am I confusing you with someone else.  Anyway Government ownership,
usually through the post office, is the norm, and the U.S. is the
exception.  Government owned systems are usually less reliable, and
usually in such systems, there is a very long wait to get a phone
installed.  Also AT&T was always the leader over all the Government owned
systems in technical innovation.  It always amazes me when people propose
as new, systems with which there is lots of experience.  Britain is just
now privatizing its phone system.  Japan did so recently.

∂13-Aug-87  2310	JMC  	practitioners of non-violence
To:   su-etc@SAIL.STANFORD.EDU   
One of the most influential groups practicing non-violence when
others were not consists of 17th and 18th century Pennsylvania
Quakers.  They got along well with the Indians, but conflicts
with the Indians developed between non-Quaker Pennsylvania
Quakers and the Indians in Western Pennsylvania.  Benjamin
Franklin wrote about it among others.  I believe the Quakers,
or at least some of them, ended up compromising their non-violent
principles by voting for money to buy weapons and hire soldiers
to protect the frontier towns against the Indians.

∂13-Aug-87  2312	JMC  	(→21075 31-Dec-87) 
To:   "#___JMC.PLN[2,2]"    
On Saturday August 15 I go to Moscow and Novosibirsk.  I will return to
the U.S. on August 27 but to Austin, Texas.  I will be on leave from
Stanford Fall Quarter returning at the end of December.  I can be reached
by electronic mail to JMC@SAIL.STANFORD.EDU, i.e. here.  I don't yet have
telephone numbers.

∂13-Aug-87  2315	JMC  
To:   CLT    
As soon as we have a home phone, tell your mother and Susie, so I can call.

∂14-Aug-87  1040	JMC  	re: Apartheid vs. Removal    
To:   ILAN@SCORE.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU   
[In reply to message from ILAN@Score.Stanford.EDU sent Fri 14 Aug 87 09:37:31-PDT.]

To imply that the Quakers of the 17th and 18th century had an overall
policy as to what should be done with Indians, e.g. removal, is an
anachronism.  There was no overall government, since each colony had
its own, and the British had no overall policy either.  Local groups
made agreements with the Indians, but other whites didn't consider
themselves bound by them.  Besides that, the Indians were in intermittent
warfare among themselves.  Their ethos considered raids on whoever
seemed vulnerable a good and prestigious thing to do, and the whites
weren't too far from that point of view themselves.  I believe the
Quakers' view of the ethics of the matter was closer to modern views
than almost any other policy prevalent at the time.

∂14-Aug-87  1909	JMC  	Franklin 
To:   su-etc@SAIL.STANFORD.EDU   
The grand leap of the Whale up the Falls of Niagara is esteemed, by all
who have seen it, as one of the finest spectacles of Nature.
- Benj. Franklin.

∂14-Aug-87  1913	JMC  	re: 3-Mile Island  
To:   S.STANFIELD@GSB-HOW.STANFORD.EDU
[In reply to message sent Fri 14 Aug 87 16:51:13-PDT.]

All radiation exposures from Three Mile Island were small compared to
normal background and common medical exposures.  To read about it
try a Socrates search F T Three Mile Island.

∂14-Aug-87  2304	JMC  
To:   CLT    
The Alvarez book should be left on the sideboard for Coisson to read.

∂14-Aug-87  2305	JMC  	urgent   
To:   SMC    
tex and mail smolen[e87,jmc] to Stevan Harnad - address in phon.

∂30-Aug-87  1625	JMC  	re: Passing Years  
To:   GGOLUB@SCORE.STANFORD.EDU  
[In reply to message sent Sun 30 Aug 87 16:12:49-PDT.]

Greetings from Austin.  Hope you get us the wine.

∂31-Aug-87  0911	JMC  
To:   SMC    
No need for the Steel book.

∂31-Aug-87  0916	JMC  	(→21076 1-Jan-88)  
To:   "#___JMC.PLN[2,2]"    
Carolyn and I are at the University of Texas in Austin until the end
of Fall Quarter.  I will continue to read email
at SAIL.  My phones are (o: 512 471-9558) and (h: 512 328-1625).

∂31-Aug-87  0936	JMC  	please inform 
To:   SMC    
the following people of my texas phone numbers.
John Nafeh
Rich Schroeppel at Inference
Al Fenaughty at III
csd receptionist
Claudia Mazzetti at aiii
In each case, reaching a secretary is ok.

∂31-Aug-87  1435	JMC  	re: Ed Brink  
To:   VAL    
[In reply to message rcvd 31-Aug-87 10:21-PT.]

I've forgotten the details of Ed Brink's problems.  I would
be grateful if you would decide what is reasonable.
I'll be glad to look at his final report along
with you and also write a letter.

∂31-Aug-87  1538	JMC  	re: QLISP status   
To:   pehoushe@Gang-Of-Four.Stanford.EDU   
[In reply to message sent Mon, 31 Aug 87 15:27:08 pdt.]

Please include Carolyn and Les in qlisp status messages.

∂01-Sep-87  0800	JMC  
To:   ME
I is there a moncom table with noedit versions of all sail chars?

∂01-Sep-87  0805	JMC  	re: Texas #s  
To:   SMC    
[In reply to message rcvd 31-Aug-87 10:21-PT.]

Please add faculty@score.

∂01-Sep-87  1216	JMC  	re: score
To:   SMC    
[In reply to message rcvd 01-Sep-87 09:21-PT.]

Put the information in a message addressed to FACULTY@SCORE.

∂02-Sep-87  1019	JMC  	re: PI meeting
To:   rivin@Gang-Of-Four.Stanford.EDU 
[In reply to message sent Tue, 1 Sep 87 12:59:16 pdt.]

Please plan to attend the PI meeting and tell about qlisp.

∂02-Sep-87  1023	JMC  	re: Grade in CS399 
To:   VAL@SAIL.STANFORD.EDU, brink@SUSHI.STANFORD.EDU
[In reply to message from VAL rcvd 01-Sep-87 12:19-PT.]
Ask the Department about the suitablility of an electronic message.
They get the grades directly and know about email.

∂02-Sep-87  1037	JMC  
To:   SMC    
 ∂01-Sep-87  0939	ME  	noedit chars   
Here is a table from E.ALS[up,doc]/21P with the names of all the special
SAIL characters (ASCII control chars).  To enter any of these from a no-edit
display, you just quote it with ↑Q.  (To enter one with CONTROL BIT added,
use ↑P instead; similarly, CONTROL-META comes via ↑W (double bucky), and
META via ↑V.)  READ NOEDIT for more details.

There are handier tables than this, but they probably won't help you unless
you can actually see the SAIL character set.  (Do you have your printer with
Please print and mail it.
you?  You could print NOEKEY.ARK[UP,DOC].  Or have it printed and mailed to you.)

(This table contains the actual printing special SAIL characters.)

000	null
001	down arrow	↓	<ctr>A
002	alpha		α	<ctr>B
003	beta		β	<ctr>C
004	logical and	∧	<ctr>D
005	logical not	¬	<ctr>E
006	epsilon		ε	<ctr>F
007	pi		π	<ctr>G

010	lambda		λ	<ctr>H
011	TAB
012	LF
013	VT
014	FF
015	CR
016	infinity	∞	<ctr>N
017	delta		∂	<ctr>O

020	containment	⊂	<ctr>P
021	implication	⊃	<ctr>Q
022	intersection	∩	<ctr>R
023	union		∪	<ctr>S
024	for all		∀	<ctr>T
025	there exists	∃	<ctr>U
026	circle times	⊗	<ctr>V
027	double-arrow	↔	<ctr>W

030	underbar	_	<ctr>X
031	right-arrow	→	<ctr>Y
032	tilde		~	<ctr>Z
033	not equal	≠	<ctr>[
034	less or equal	≤	<ctr>\
035	greater or eq	≥	<ctr>]
036	equivalence	≡	<ctr>↑
037	logical or	∨	<ctr>←

Note: To get tilde, just type tilde (which in ASCII is 176).
      To get underbar, just type underbar (137 in ASCII).
      To get left-arrow, type ↑Q↑X.
      To get non-equals, type ↑Q↑Z.
      To get Altmode, type ESC.
      To get ESCAPE, type ↑@ (null).
      To get BREAK, type ↑@ and then "-" (minus sign).

∂02-Sep-87  1038	JMC  	one last (maybe) question    
To:   ME
Can I use my character macros?  <ctrl>@     followed by the macro number
doesn't seem to work.

∂02-Sep-87  1055	JMC  	re: Grade in CS399 
To:   brink@SUSHI.STANFORD.EDU   
[In reply to message sent Wed 2 Sep 87 10:38:23-PDT.]

Come to think of it, I gave you the * before I left.

∂02-Sep-87  1111	JMC  
To:   CLT@SAIL.STANFORD.EDU 
It is actually possible to use E fairly conveniently.

∂02-Sep-87  1309	JMC  	re: Problem   
To:   VAL    
[In reply to message rcvd 02-Sep-87 12:18-PT.]

I hadn't seen this variant.

∂02-Sep-87  1347	JMC  	re: Homeless people
To:   SINGH@SIERRA.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU 
[In reply to message from SINGH@sierra.stanford.edu sent Wed 2 Sep 87 07:37:31-PDT.]

A substantial fraction of homeless people are schizophrenic.  Such people
were formerly confined in mental institutions, which were bad places but
kept them out of sight.  The mental institutions were substantially
emptied in the 1960s.  I believe this is still believed to have been
mainly a good thing, but there are some problems.  Most schizophrenics
behave fairly normally if they take appropriate medicine, but some
won't without some degree of coercion - now illegal.  States provide
homes for them, but the people who run these homes have no authority
over the people who live in them - other than a landlord's normal
rights to evict tenants who interfere with the rights of others - e.g.
by fighting, continuous screaming or failing to use the toilet.
The operators of these homes are people who find this their best
way of making a living.  Dedicated liberals are more likely to
be lawyers who harass the landlords when they infringe on their
tenants rights rather than operators of the homes.

Mayor Koch of New York, according to (yesterday's?) New York Times
has just gotten State agreement to a plan for involuntary commitment
to institutions  of those judged most incapable of caring for
themselves.

Another large class of homelessness is economic, and this is
partly due to the breakdown of order in public housing, where
1960s liberals (Helen's generation) made it impossible to
evict people who prevented others from living in peace.  The
supply of cheap housing was further reduced by rent control
sufficiently vigorously enforced that landlords abandoned
whole square miles of New York.

At a greater level of generality, one can say that the squabbles about
who is at fault and what to do have contributed to the problem.  A
lot has been written.

∂02-Sep-87  1401	JMC  	re: Baseball  
To:   RPG@SAIL.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU
[In reply to message from RPG rcvd 02-Sep-87 10:01-PT.]

Elaborate theories of national character should be tried only when
simple historical explanations have been refuted.  Baseball is to
become an Olympic sport in the 1990s, so the Soviets have
started to form teams.  The New York Times recently had a
rather funny story about the Nicaraguan team touring the
Soviet Union and clobbering all the local teams.
I would like to see RPG elaborate his national character theory
of baseball to take into account its popularity in Japan,
Cuba and Nicaragua and to explain why teams from Taiwan
have won 13 out of the last 16 world Little League
championships.

∂02-Sep-87  1408	JMC  	chrmac   
To:   ME
When I tell the system

<ctrl>@5<return>

which should put me at the last page of my message file, it replies
DSK:5.FAI[1,JMC] Error 0: File not found
Use what filename instead?

∂02-Sep-87  1519	JMC  	prize    
To:   nilsson@SCORE.STANFORD.EDU 
Vladimir got $1,000 at Milan for his paper.  I think it was chosen
as the best paper by the program committee.  I suggest you find out
exactly and announce it in the usual way for departmental honors.

∂02-Sep-87  1648	JMC  	re: ctrl-@    
To:   ME
[In reply to message rcvd 02-Sep-87 15:02-PT.]

I really was holding down both ctrl and shift while typing the key
with 2 and @ on it.  Maybe the right thing wasn't being transmitted
because of some problem with the terminal [ATT 4425] or with telnet.

∂02-Sep-87  1650	JMC  	re: Summer School in Bulgaria
To:   VAL    
[In reply to message rcvd 02-Sep-87 15:44-PT.]

Maybe, but I can't give teaching in Eastern European summer schools
a high priority.  I have declined such invitations in recent years.

∂02-Sep-87  1657	JMC  	re: China
To:   unido!ubc-vision!bibel@UUNET.UU.NET  
[In reply to message sent Wed, 2 Sep 87 11:25:53 pdt.]

I was in China only in 1978.  Ma Xiwen at Peking University is head
of AI there, I believe, and is very smart.  He spent a year at
Stanford.  I suggest inviting him and mentioning in your letter
that I suggested him.  Quite possibly he may have to defer to
someone higher in the scientific-bureaucratic hierarchy, but
it can't do him any harm.  No expert on Chinese AI comes to
mind, but surely some people have been there more recently.

∂02-Sep-87  1701	JMC  	re: prize     
To:   NILSSON@SCORE.STANFORD.EDU 
[In reply to message sent Wed 2 Sep 87 16:37:28-PDT.]

I don't think my work will help, because I used sentences about
possible worlds and a predicate A(w1,w2,person,time), and
did not use Kripke structures as objects in a program.  I
assume your student's work applies to the propositional case.

∂02-Sep-87  1719	JMC  	re: Program Revision Form    
To:   brink@SUSHI.STANFORD.EDU   
[In reply to message sent Wed 2 Sep 87 17:11:00-PDT.]

Not unless you are also really in Austin, Texas.  I suggest you ask
Nils to delegate the matter to VAL with authority to act - assuming
VAL agreees.

∂03-Sep-87  0905	JMC  	address  
To:   SMC    
Please answer this message for me.  There's a Chinese around here,
known to VAL, named something like Lin Fanzhen, who would probably
know the answers to Bibel's questions.  If he's unavailable, tell
Bibel that 
Prof. Ma Xiwen
Computer Science
Peking University
Beijing China

will probably work.  Note that Lin and Ma are the family names
and come first in Chinese order.  However, Chinese sometimes use
our order here.
 ∂02-Sep-87  2029	ubc-vision!bibel@uunet.UU.NET 	re: China
Received: from UUNET.UU.NET by SAIL.STANFORD.EDU with TCP; 2 Sep 87  20:29:49 PDT
Received: from unido.UUCP by uunet.UU.NET (5.54/1.14) with UUCP 
	id AA18185; Wed, 2 Sep 87 23:29:58 EDT
Received: by unido.uucp with uucp; 
	  Thu, 3 Sep 87 04:47:50 +0100
Received: from ubc-vision.UUCP by uunet.UU.NET (5.54/1.14) with UUCP 
	id AA16733; Wed, 2 Sep 87 22:16:56 EDT
Date: Wed, 2 Sep 87 18:33:39 pdt
From: "Wolfgang Bibel" <unido!ubc-vision!bibel@uunet.UU.NET>
Message-Id: <8709030133.AA02650@ubc-vision.UUCP>
Received: by ubc-vision.UUCP id AA02650; Wed, 2 Sep 87 18:33:39 pdt
To: JMC@sail.stanford.edu
Subject: re: China
Cc: ubc-vision!bibel@uunet.UU.NET

John,
	Thank you very much for this suggestion. Do you happen to
have a more precise address of Ma Xiwen? What is his own field of
expertise within AI?

Wolfgang

∂03-Sep-87  0914	JMC  	DARPA meeting 
To:   IGS@SAIL.STANFORD.EDU
CC:   CLT@SAIL.STANFORD.EDU
CC:   LES@SAIL.STANFORD.EDU   
Igor, please prepare the material they want for the meeting.  I suggest
you phone Pullen.  My guess is that this unusually high level of
military style formality will collapse, but let's us do it their
way this time if we can.

 ∂03-Sep-87  0515	pullen@vax.darpa.mil 	PI Meeting Update 
Received: from VAX.DARPA.MIL by SAIL.STANFORD.EDU with TCP; 3 Sep 87  05:15:35 PDT
Posted-Date: Thu 3 Sep 87 08:12:36-EDT
Received: by vax.darpa.mil (5.54/5.51)
	id AA14042; Thu, 3 Sep 87 08:12:40 EDT
Date: Thu 3 Sep 87 08:12:36-EDT
From: Mark Pullen <PULLEN@vax.darpa.mil>
Subject: PI Meeting Update
To: BALZER@vaxa.isi.edu, GREEN@kestrel.arpa, mld@mc.lcs.mit.edu,
        Cheatham@harvard.harvard.edu, JMC@sail.stanford.edu,
        Habermann@c.cs.cmu.edu, rollins@c.cs.cmu.edu, D-scott@c.cs.cmu.edu,
        ZM@sail.stanford.edu, CLT@sail.stanford.edu, cmp.good@r20.utexas.edu,
        CLARKE%cs.umass.edu@relay.cs.net,
        lee%boulder.colorado.edu@relay.cs.net, TAYLOR@ics.uci.edu,
        DCL@sail.stanford.edu, trwrb!trwspp!belz@ucbvax.berkeley.edu,
        despain@ucbvax.berkeley.edu, lk@cs.ucla.edu,
        jes%cs.brown.edu@relay.cs.net, ken@rice.edu, rich@ai.ai.mit.edu
Cc: pimeet@icst-cmr.arpa
Message-Id: <557669556.0.PULLEN@VAX.DARPA.MIL>
Mail-System-Version: <VAX-MM(213)+TOPSLIB(128)@VAX.DARPA.MIL>


1. This provides further details about the DARPA/ISTO Architecture and
Software PI Meeting, 15-17 Sep 87, and revises the requirement for
the documents to be submitted for distribution to attendees.

2.  Quarter chart and briefing: We reiterate that each project is
expected to present a mangement overview (with extremely limited
technical content).  The sole presentation aid will be a "quarter
chart", which is really a composite of four slides (that you can show
separately): symbolic icon, challenges/results, expected impact, and
technical plan/schedule.  You will have not more than ten minutes to
make your briefing -- it's looking more like five right now -- so MAKE IT
BRIEF!  (Beulah the Buzzer will be on hand to help you.)  The effect we
are striving for is a management briefing of the entire program, with
each project presented by those who know it best.  We are also very
unabashedly getting you to help us prepare for future briefings of our
own by creating these standardized slides.

3.  Revised submission requirement for documents:  Rather than bring
200 copies of your document (quarter chart, personnel list, subsystem
breakout, recent paper, and reference list), you are to send two 
copies to DARPA/ISTO, ATTN: Denise Wade, 1400 Wilson Blvd, Arlington,
VA 22209-2308, to arrive not later than 11 September.
Denise will acknowledge receipt of your package by netmail; we 
suggest you send it early to allow for followup, because NO PROJECT
WILL BE BRIEFED AT THE PI MEETING IF THE REQUIRED DOCUMENTS ARE
NOT RECEIVED BY 11 SEP!!!!  This is a FIRM RULE!!!  We will have
two bound documents assembled from your submissions: a book of
quarter charts, available 15 Sep for note-taking, and a "Proceedings"
of all materials, to be mailed to you later.

4.  The problem areas for the working groups on the 16th are:
	--  Teraop Technology Base
	--  Software Design
	--  Parallel Software
	--  Hardware Prototyping
The concept here is to get your active participation in directing our
research programs for the best effect over the next few years.
Attendees will be assigned to groups by some as-yet unspecified process
(which may appear to be random) -- no volunteers yet, please.

5.  Please make a maximum effort to attend the entire meeting.  Here 
is our TENTATIVE agenda:

15 Sep 0900 Welcome and Introduction
       0930 Software Session 1
       1045 Break
       1100 Architecture Session 1
       1215 Buffet Lunch, Speaker: Saul Amarel
       1330 Software Session 2
       1445 Break
       1500 Architecture Session 2
       1615 Break
       1630 Software Session 3
       1745 Warm-Up Problem Sets
       1800 Break
       1900 Dinner, Speaker: Gordon Bell

16 Sep 0830 Definitions of Problem Areas by Squires, Pullen, Scherlis
            and Toole
       0930 Area Group meetings to refine problem statements and 
            organize teams(subgroups)
       1030 Team meetings -- get acquainted, analyze problems
       1200 Buffet Lunch, Speaker: Craig Fields
       1315 Elaboration of assignment by Squires
       1330 Team meetings -- work on new assignments
       1600 Group meetings to integrate work of teams and prepare for
            group reports
       1800 Break
       2000 Panel: Program Management Styles (How might the DARPA/ISTO
            style be improved?)

17 Sep 0800 Group Report
       0845 Unifying Platform: X-Windows
       0915 Break
       0930 Group Report
       1015 Break
       1030 Group Report
       1115 Unifying Platform: CAD Tools
       1145 Buffet Lunch, Speaker: Jack Schwartz 
       1315 Group report
       1400 Unifying Platform: Mach
       1430 Break
       1445 Panel: FCCSET Computing/Networking Initiative
       1545 Wrap-Up
       1600 End of Meeting

6.  Please acknowledge receipt of this message to Wade@VAX.DARPA.MIL.

7.  See you at the meeting!
-------

∂03-Sep-87  1603	JMC  	re: Bibel
To:   SMC    
[In reply to message rcvd 03-Sep-87 15:18-PT.]

I'm not sure how to reply to that address.  Ask Martin Frost or
Joe Weening.

∂03-Sep-87  1627	JMC  	re: environmentalist silliness    
To:   MRC@SAIL.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU
[In reply to message sent Wed 2 Sep 87 11:06:11-PDT.]

One reason to preserve the whales as species is respect for the desires
of our fellow humans, the environmentalists.  At least I assume they're
human, although they sometimes write as though they belonged to some
rival species looking for an excuse to wipe out the earthmen.  The
respect due to their desires isn't infinite, however.  When some
environmentalist organizations lobby and sue to get grizzly bears
and wolves large enough ranges to support their habitual ways of
life, they should remember that the human species has also had
hunting as a part of its way of life and should respect that too.

The trouble with objecting to "managing" the ecology is that
irrationality loses big.  Realize that nature doesn't exist in
equilibrium, and that catastrophes to certain populations are
always occurring.  Mankind's long term effect will be to reduce
extinctions.  For example, had mammoths, mastodons, moas,
sabre-toothed tigers or dinosaurs survived till (say) 1900,
you can be sure that Teddy Roosevelt would have tried hard
to preserve them.

∂03-Sep-87  1632	JMC  	re: Visa for Denmark    
To:   berglund@DECWRL.DEC.COM    
[In reply to message sent Thu, 3 Sep 87 14:36:01 PDT.]

Not if Eric Berglund is your real name.  Also if it isn't.  France
is the only Western European country requiring visas from
holders of U.S. passports.

∂04-Sep-87  1147	JMC  
To:   CLT@SAIL.STANFORD.EDU 
 ∂03-Sep-87  1855	RWF  	fixed point theory 
It is well known that recursive definitions a la LISP have least
fixed points when the defining ops are monotone and continuous.
Is there a published source for the proof that only monotonicity
is required?  I have a fairly simple proof adapted from the Tarski-
Knaster theorem, And I want to find out if it is novel.  Tarski-
Knaster doesn't apply because the set of partial functions is not a
lattice.  Any monotone functional on partial functions can be embedded
in a monotone functional on relations.  Its fixed point is a partial
function.  Details on request.
 
Algorithm for living in Texas
1. Get sixpack of long-neck Lone Star.
2. Drink it in pickup truck.
3. Throw bottles out of window, e.g. at hippies.
4. Go to 1.

∂04-Sep-87  1348	JMC  
To:   ai.mccarthy@R20.UTEXAS.EDU 
 ∂03-May-86  1121	HALPERN@IBM.COM
Received: from IBM.COM by SU-AI.ARPA with TCP; 3 May 86  11:21:18 PDT
Date: 3 May 86 10:33:54 PDT
From: HALPERN@IBM.COM
To:   jmc@su-ai

Subject: Comments on your paper; conjecture settled

John, I think I can settle your conjectures on the propositional
case of Normality Logic, although I'm not sure you'll be pleased
with the answers.  First of all, there are always minimal models for
satisfiable formulas; lots of them, in fact.  Indeed, either a
formula is satisfiable in a model with no anamolies (and there
are infinitely many distinct such models) or it is not satisfiable
in a model with no anamolies.  In this case, if the formula is
satisfiable at all, then ALL models are minimal.  Any two models
for the formula are incomparable in terms of their anamolies
(in this sense, normality logic does bear some relationship to
the work on "all I know is".)  The proofs of these claims are
pretty straightforward.

First of all, suppose a formula pi can be satisfied in a model
with no anomalies.  It is quite easy to check whether
such a model exists: you simply consider all the subformulas
of the formula and see if they can be assigned truth values
in a consistent way with no anomalies.  Suppose they can.
In this case, suppose p1, ..., pk are the subformulas for
which N(pj) holds.  We can then extend to all formulas by
saying N(q) holds for a formula q iff q is a logical consequence
of p1&...&pk.  We can also set all primitive propositions not
subformulas of pi to be true.  This gives us a model of pi where
there are no anomalies.  But we can easily modify this
model to get lots of others.  In some sense, this is the
model where the LEAST number of things are normal, but I can
easily make more things normal.

Now suppose pi has no models where there are no anomalies.
Suppose I1 and I2 are distinct models for pi.  Then I claim
that I1 and I2 are incomparable in their anomalies.  It thus follows
that all models are minimal.  An argument like that above actually
shows there are infinitely many such models.  To prove the claim,
suppose that phi is in anomalies(I1) but not anomalies(I2).
Thus N(phi) is true in I1, but phi is false.  There are two
possibilities for I2: either (1) both N(phi) and phi are true,
or (2) N(phi) is false.  Since there are anomalies in I2, there
must be some formula psi such that N(psi) is true in I2, but
psi is false.  In case (1), consider the formula
(psi or ~phi).  (On my terminal ? is a negation symbol; I'm not
sure how it comes out on yours.)  Since N(psi) is true in I2,
and (psi or ~phi) is a logical consequence of psi, then
N(psi or ~phi) must be true in I2.  (This follows from your
conditions 2 and 3 on interpretations.  To see this, note
that psi => (psi or ~phi) is a tautology, so that
N(psi => (psi or ~phi)) is true in I2.  Putting that together
with the assumption that N(psi) is true in I2, we get the
desired result using condition 3.)  But since by assumption
psi is false and phi is true in I2, (psi or ?phi) is in
abnormal(I2).  Since (psi or ~phi) is true in I1 (since
phi is false in I1), (psi or ~not phi) cannot be
in abnormal(I1).  Thus I1 and I2 are incomparable.
In case (2), consider the formula (psi or N(phi)).  A similar
argument to that used for case 1 shows that N(psi or N(phi))
is true in I2, so that the formula (psi or N(phi)) is in
abnormal(I2) but not in abnormal(I1).

I'm afraid that this argument shows that minimal models as
you've defined them are not very interesting.  You might
want to consider what happens if you look for models that
have the least number of purely propositional abnormalities,
or, as you've suggested, look at more complex orderings
among abnormalities.

One thing that bothers me in your discussion about the birds
is the use of NN.  Your explanation of why you need it seems
awfully ad hoc.  I think we all have some intuitions of what
"normally" really means, and it would be nice if we could get
a modal logic that captured them.  (That's what I meant when
I asked you about semantic conditions on normality.)  Instead
of using the NN as you've done in your example, you might consider
using a whole class of N's, perhaps subscripted by the rationals.
If a>b, then Na is a stronger normality condition than Nb.
Thus, in the example with the birds, you can capture the fact that
condition (3) is meant to supersede condition (1) by using a larger
subscript on N.  (To be honest, I haven't thought this through very
carefully, but it seemed like an interesting possibility.  I
suggested rationals rather than integers simply because that way
there's always room to put in new condition "in between" pre-existing
ones.)

To change the subject somewhat, I also picked up a copy of Hopcroft's
report yesterday and read it reasonably carefully. I have lots of
comments for him.  While I think the idea of doing such a report is
very important, I don't think the key ideas in a number of areas are
brought out very well.  As it stands, it reads to me a bit like
computer science is the science of finding good algorithms for very
important problem x (where x= linear integer programming, solving
linear equations, primality testing, planesweeping, etc.)  It's not
that these aren't important problems!  But it seems that to give
integer linear programming more space than the whole area of AI
somewhat distorts the picture.  Am I right in assuming
that Hopcroft is looking for comments?

Do keep me informed on the latest developments in normality logic.

-- Joe

∂05-Sep-87  1237	JMC  
To:   VAL    
How much was the IJCAI proceedings?

∂06-Sep-87  1054	JMC  	re: A question of grammar (actually orthography) 
To:   ILAN@SCORE.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU
CC:   ilan@SCORE.STANFORD.EDU  
[In reply to message from ILAN@Score.Stanford.EDU sent Sun 6 Sep 87 02:08:58-PDT.]

"colourize" shouldn't be a word on the grounds that the "our" spelling of
"color" is British, and the "ize" (rather than "ise") way of making verbs
from adjectives is American.  That doesn't prove that journalists won't
succeed in making it a word.

∂06-Sep-87  1220	JMC  	sports   
To:   su-etc@SAIL.STANFORD.EDU   
Each sport has an abstract character only somewhat related to its physical character.
Baseball is composed of discrete events with waiting time in between.  It is well
suited to radio, i.e. non-TV, commentary.  The situation is described by the score,
how many outs, which men are on base, the batter and the count.  Each pitch changes
the state of this finite automaton in one of a finite number of ways.  It also lends
itself to expertness of various kinds.  The fact that a team plays almost every day
makes it good for newspaper reading.

Football also has a discrete character, but more goes on within the plays that isn't
so readily described.  One loses more by not actually watching the game.  Because a
team plays once a week, football has a different character to its fans than baseball.

I prefer these discrete games, also volleyball, to the more continuous games like
soccer.

In general people like the achievement-oriented competitive character of sports.
Politics isn't as much fun for spectators.  The actual elections are too rare,
and in between it's too difficult to evaluate the individual events.

∂07-Sep-87  1225	JMC  
To:   RPG    
How are your plans (plots) proceeding?

∂07-Sep-87  1330	JMC  
To:   jmc@PEANO.UTEXAS.EDU  
 ∂05-Sep-87  1201	JSW  	Special characters 
Here's a list of most of the special characters.  You can use Symbol-Help
to get a similar list online, though it covers up your screen while it is
being displayed.

Control and Meta also work.  One thing that isn't documented is that when
you do Control or Meta with a lowercase letter, it sends the corresponding
uppercase letter with the control/meta bits added.  It usually doesn't make
a difference, but if you need to have a lowercase letter with control/meta
bits, you have to hold down Shift as well.

↑  Symbol-'
↓  Symbol-h
α  Symbol-shift-A
β  Symbol-shift-B
∧  Symbol-q
¬  Symbol--
ε  Symbol-shift-E
π  Symbol-shift-P
λ  Symbol-shift-L
∞  Symbol-i
 ∂  Symbol-p
⊂  Symbol-t
⊃  Symbol-y
∩  Symbol-e
∪  Symbol-r
∀  Symbol-u
∃  Symbol-o
⊗  Symbol-*
↔  Symbol-l
←  Symbol-j
→  Symbol-k
≠  Symbol-=
≤  Symbol-,
≥  Symbol-.
≡  Symbol-`
∨  Symbol-w

∂07-Sep-87  1339	JMC  
To:   SMC    
Please TEX and mail proble[e87,jmc].

∂07-Sep-87  1410	JMC  	Tough Nut for Theorem Provers
To:   SMC    
I need this AI Memo as a TEX file tough[e87,jmc].  I believe you can find it
an Acropress binder of my old papers that was in the bookcase to the right
of my library alcove.  Otherwise, the library has a file of all Stanford AI
memos.

∂07-Sep-87  1420	JMC  
To:   nilsson@SCORE.STANFORD.EDU 
Do you know why Rosenbloom is leaving?

∂07-Sep-87  1600	JMC  	re: BORK and conservatism    
To:   helen@WHIDBEY.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU
[In reply to message from helen@whidbey.Stanford.EDU sent Mon, 7 Sep 87 13:34:27 PDT.]

Helen's suggested counter-example to Bork's judicial restraint doesn't
seem to be one.  His view of what authority courts have to adjudicate
disputes between Congress and the President on "separation of powers"
issues would depend on his reading of the Constitution.  Off hand it
would seem that believing that the Court lacked jurisdiction in certain
issues would be a form of judicial restraint.

There is a widespread misunderstanding of the doctrine of judicial restraint.
Consider its application to abortion.  Bork has never (according to something
I read) expressed an opinion on what the law concerning abortion should be.
His opposition to Roe vs. Wade is based on his opinion that nothing in the
Constitution prevents states from regulating it.  If Roe vs. Wade were reversed
tomorrow the legal situation in California would surely not change,
because public sentiment favors allowing abortion and so do the majority
of state legislators.  I can't speak for all 50 states, but I suspect
that the majority is rather uniform.  This position also doesn't
speak to whether Congress could pre-empt the states on abortion, although
I suspect that he would (and maybe has) held that this is a matter
the Constitution reserves to the states.  Some leftist radicals have
held that advocates of judicial restraint are simply hypocrites,
advocating general principles only in so far as it helps them
get their way on specific issues.  I think this is a false accusation,
especially where Bork is concerned.

Characterizing conservative opposition to the extremes to which product
liability law has gone as opposition to public health is unfair.
I agree that there tends to be some emotional difference between
conservatives and liberals, but these differences are swamped by
differences in whom each regards as the bad guys of the world.
I have become increasingly convinced that political enthusiasm is
based on dislike of the "bad guys".  The good guys turn out merely
to be those who prominently oppose the bad guys.

Fortunately, the professional politicians are often more sensible,
being more interested in policy than in smiting the foe.

∂08-Sep-87  1302	JMC  
To:   SMC    
Where did the Public Interest article come from?  S. M. Lipset?

∂08-Sep-87  1304	JMC  	re: Where do you keep your books? 
To:   KASPER@CSLI.STANFORD.EDU   
[In reply to message sent Tue 8 Sep 87 10:41:25-PDT.]

Living room, office, kitchen, bedrooms.  I need a library room.

∂08-Sep-87  1624	JMC  	re: Bork nomination
To:   POSER@CSLI.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU   
[In reply to message from POSER@CSLI.Stanford.EDU sent Tue 8 Sep 87 13:55:21-PDT.]

I consider it disingenuous to refer to Dworkin simply as "one of
the world's most distinguished legal scholars".  He is all right, but
shouldn't Poser have mentioned that he (together with Lawrence Tribe) is
one of the most active academic proponents of the judicial activism Bork's
writings deplore.  The article represents a refusal to meet Bork head on.
Rather than argue against Bork's criticisms of various Court decisions and
support his own praise of these decisions, Dworkin
has chosen to accuse Bork of inconsistency.  As is usual when one's entire
argument consists of accusations of inconsistency, Dworkin is reduced
to haggling, because the alleged parallel cases are never convincingly
parallel.

∂08-Sep-87  1641	JMC  
To:   RWF    
I don't see your message in su-etc that the latest message rudely refers to.

∂09-Sep-87  1204	JMC  	Please acknowledge to Pullen and make the right things happen.  
To:   IGS@SAIL.STANFORD.EDU
CC:   LES@SAIL.STANFORD.EDU  
 ∂09-Sep-87  0317	pullen@vax.darpa.mil 	Did You Get the Message?    
Received: from VAX.DARPA.MIL by SAIL.STANFORD.EDU with TCP; 9 Sep 87  03:17:07 PDT
Posted-Date: Wed 9 Sep 87 06:14:27-EDT
Received: by vax.darpa.mil (5.54/5.51)
	id AA28651; Wed, 9 Sep 87 06:14:30 EDT
Date: Wed 9 Sep 87 06:14:27-EDT
From: Mark Pullen <PULLEN@vax.darpa.mil>
Subject: Did You Get the Message?
To: GREEN@kestrel.arpa, mld@mc.lcs.mit.edu, Cheatham@harvard.harvard.edu,
        JMC@sail.stanford.edu, Habermann@c.cs.cmu.edu, rollins@c.cs.cmu.edu,
        ZM@sail.stanford.edu, cmp.good@r20.utexas.edu,
        CLARKE%cs.umass.edu@relay.cs.net,
        lee%boulder.colorado.edu@relay.cs.net, TAYLOR@ics.uci.edu,
        DCL@sail.stanford.edu, trwrb!trwspp!belz@ucbvax.berkeley.edu,
        jes%cs.brown.edu@relay.cs.net, ken@rice.edu, rich@ai.ai.mit.edu
Cc: Pullen@vax.darpa.mil, Squires@vax.darpa.mil, Scherlis@vax.darpa.mil
Message-Id: <558180867.0.PULLEN@VAX.DARPA.MIL>
Mail-System-Version: <VAX-MM(213)+TOPSLIB(128)@VAX.DARPA.MIL>

Dear PI,

On 3 Sep I sent you a message containing critical details for
the DARPA/ISTO Architectures and Software PI Meeting.  A particularly
important point contained in that message was that materials for
the Quarter Chart Book and Proceedings must be received here by
this coming Friday, 11 Sep.  A copy of that message is appended below.

You were asked to acknowledge receipt of that message by reply to
WADE@VAX.DARPA.MIL.  No acknowledgement has been received.  Please
acknowledge TODAY, so we won't have to call you.  

REMINDER:  If the quarter chart and other materials aren't received
by 11 Sep, you will not be scheduled to speak at the meeting.

Mark Pullen
------------------------------------------------------------------

1. This provides further details about the DARPA/ISTO Architecture and
Software PI Meeting, 15-17 Sep 87, and revises the requirement for
the documents to be submitted for distribution to attendees.

2.  Quarter chart and briefing: We reiterate that each project is
expected to present a mangement overview (with extremely limited
technical content).  The sole presentation aid will be a "quarter
chart", which is really a composite of four slides (that you can show
separately): symbolic icon, challenges/results, expected impact, and
technical plan/schedule.  You will have not more than ten minutes to
make your briefing -- it's looking more like five right now -- so MAKE IT
BRIEF!  (Beulah the Buzzer will be on hand to help you.)  The effect we
are striving for is a management briefing of the entire program, with
each project presented by those who know it best.  We are also very
unabashedly getting you to help us prepare for future briefings of our
own by creating these standardized slides.

3.  Revised submission requirement for documents:  Rather than bring
200 copies of your document (quarter chart, personnel list, subsystem
breakout, recent paper, and reference list), you are to send two 
copies to DARPA/ISTO, ATTN: Denise Wade, 1400 Wilson Blvd, Arlington,
VA 22209-2308, to arrive not later than 11 September.
Denise will acknowledge receipt of your package by netmail; we 
suggest you send it early to allow for followup, because NO PROJECT
WILL BE BRIEFED AT THE PI MEETING IF THE REQUIRED DOCUMENTS ARE
NOT RECEIVED BY 11 SEP!!!!  This is a FIRM RULE!!!  We will have
two bound documents assembled from your submissions: a book of
quarter charts, available 15 Sep for note-taking, and a "Proceedings"
of all materials, to be mailed to you later.

4.  The problem areas for the working groups on the 16th are:
	--  Teraop Technology Base
	--  Software Design
	--  Parallel Software
	--  Hardware Prototyping
The concept here is to get your active participation in directing our
research programs for the best effect over the next few years.
Attendees will be assigned to groups by some as-yet unspecified process
(which may appear to be random) -- no volunteers yet, please.

5.  Please make a maximum effort to attend the entire meeting.  Here 
is our TENTATIVE agenda:

15 Sep 0900 Welcome and Introduction
       0930 Software Session 1
       1045 Break
       1100 Architecture Session 1
       1215 Buffet Lunch, Speaker: Saul Amarel
       1330 Software Session 2
       1445 Break
       1500 Architecture Session 2
       1615 Break
       1630 Software Session 3
       1745 Warm-Up Problem Sets
       1800 Break
       1900 Dinner, Speaker: Gordon Bell

16 Sep 0830 Definitions of Problem Areas by Squires, Pullen, Scherlis
            and Toole
       0930 Area Group meetings to refine problem statements and 
            organize teams(subgroups)
       1030 Team meetings -- get acquainted, analyze problems
       1200 Buffet Lunch, Speaker: Craig Fields
       1315 Elaboration of assignment by Squires
       1330 Team meetings -- work on new assignments
       1600 Group meetings to integrate work of teams and prepare for
            group reports
       1800 Break
       2000 Panel: Program Management Styles (How might the DARPA/ISTO
            style be improved?)

17 Sep 0800 Group Report
       0845 Unifying Platform: X-Windows
       0915 Break
       0930 Group Report
       1015 Break
       1030 Group Report
       1115 Unifying Platform: CAD Tools
       1145 Buffet Lunch, Speaker: Jack Schwartz 
       1315 Group report
       1400 Unifying Platform: Mach
       1430 Break
       1445 Panel: FCCSET Computing/Networking Initiative
       1545 Wrap-Up
       1600 End of Meeting

6.  Please acknowledge receipt of this message to Wade@VAX.DARPA.MIL.

7.  See you at the meeting!
-------

∂09-Sep-87  1238	JMC  	re: visit to Austin
To:   VAL    
[In reply to message rcvd 09-Sep-87 12:21-PT.]

Sept 21 and 22 will be fine.

∂09-Sep-87  1242	JMC  	Senderov interview 
To:   VAL    
I was impressed by its content and also by its excellent crisp style, which
I assume was the tourist's contribution.  May I send a copy to David
Chudnovsky?  I suppose it will be published, e.g. by Yarim-Agaev?
I'd be glad to write out a translation, although I'd have to ask you
about a few words.  For an American audience, a few translator's notes
would also be in order.

∂10-Sep-87  1010	JMC  	re: LISP at Stanford    
To:   NILSSON@SCORE.STANFORD.EDU, RPG@SAIL.STANFORD.EDU   
[In reply to message from NILSSON@Score.Stanford.EDU sent Thu 10 Sep 87 09:53:48-PDT.]

I'd like to be involved.  I could come to Stanford if the meeting were on a Friday
or Monday but not too soon.  However, let me suggest an initial conference call
with the three of us - late today, say 2 or 3pm your time, 4 or 5pm my time.  My
number is 512 471-9558.

∂10-Sep-87  1335	JMC  	re: Phone
To:   RPG@SAIL.STANFORD.EDU, nilsson@SCORE.STANFORD.EDU   
[In reply to message from RPG rcvd 10-Sep-87 13:31-PT.]

I'll be here at 512 471-9558 at 2:30pdt.

∂10-Sep-87  1419	JMC  
To:   VAL    
Do you know who Tatiana Velikanova is?

∂10-Sep-87  1524	JMC  
To:   LES@SAIL.STANFORD.EDU, IGS@SAIL.STANFORD.EDU   
Looks ok, but what about this "Gantt chart form"?  Do we have it?  What is it?

∂10-Sep-87  1525	JMC  
To:   LES    
logo: octopus with 8 abacuses

∂10-Sep-87  1556	JMC  	Please make this happen for qlisp.
To:   LES@SAIL.STANFORD.EDU, IGS@SAIL.STANFORD.EDU   
 ∂10-Sep-87  1545	scherlis@vax.darpa.mil 	URGENT!!  Report Needed...
Received: from VAX.DARPA.MIL by SAIL.STANFORD.EDU with TCP; 10 Sep 87  15:45:20 PDT
Posted-Date: Thu 10 Sep 87 18:41:41-EDT
Received: by vax.darpa.mil (5.54/5.51)
	id AA05353; Thu, 10 Sep 87 18:41:47 EDT
Date: Thu 10 Sep 87 18:41:41-EDT
From: William L. Scherlis <SCHERLIS@vax.darpa.mil>
Subject: URGENT!!  Report Needed...
To: BALZER@vaxa.isi.edu, GREEN@kestrel.arpa, mld@mc.lcs.mit.edu,
        Cheatham@harvard.harvard.edu, JMC@sail.stanford.edu,
        Habermann@c.cs.cmu.edu, rollins@c.cs.cmu.edu, D-scott@c.cs.cmu.edu,
        ZM@sail.stanford.edu, CLT@sail.stanford.edu, cmp.good@r20.utexas.edu,
        CLARKE%cs.umass.edu@relay.cs.net,
        lee%boulder.colorado.edu@relay.cs.net, TAYLOR@ics.uci.edu,
        DCL@sail.stanford.edu, trwrb!trwspp!belz@ucbvax.berkeley.edu,
        despain@ucbvax.berkeley.edu, lk@cs.ucla.edu,
        jes%cs.brown.edu@relay.cs.net, ken@rice.edu, rich@ai.ai.mit.edu
Cc: wade@vax.darpa.mil
Message-Id: <558312101.0.SCHERLIS@VAX.DARPA.MIL>
Mail-System-Version: <VAX-MM(215)+TOPSLIB(128)@VAX.DARPA.MIL>

To all Software PIs:

I need the following information about your project.  I understand
that this will take an hour or two, but we require this information
(from ALL projects funded in ISTO) to meet certain internal needs.

Please respond by computer mail BEFORE the PI meeting if at all
possible.  This should take not more than an hour, and it is urgent,
so please do it now.  Send the response to me at
	scherlis@VAX.DARPA.MIL
with CC to
	wade@VAX.DARPA.MIL  .

If you receive no acknowledgement to your reply, please call
Denise Wade at (202-694-5800) to confirm our receipt.

NOTE: "One paragraph" (below) means less than half of a page, and
preferably less than 10 lines of text.  If you write anything longer,
we have to edit it down for you, so please don't.  I advise recycling
some of the prose you generated for the "incremental" reports we
solicited a few months back.  This should be a simple honest technical
description.

You should send one report for each "separately funded effort."  If
your work is part of a larger project sponsored by a single DARPA
Program Manager, then you might be able to file a single (short!)
report for the entire project.  Specifically, each task on a tasking
contract requires a separate report.  Multiple efforts under a single
umbrella contract require separate reports.  Separate facets as parts
of a large effort negotiated with a single DARPA program manager are
all parts of a single effort requiring only one report.  Obviously,
separate contracts require separate reports.

I apologize sincerely for the short deadline.  If you have already
been solicited by Mark Pullen or others for this information, please
send me a copy anyway.  There is some overlap in our efforts.

Thanks,
					Bill Scherlis
________________________________________________________________

1. Project Title.

2. Institution.

3. Names of Principal Investigators (up to three).

4. Brief history of project: major phases, key dates (one paragraph).

5. Budget Summary:
  a. Basic contract dollar amount.
  b. Dollar amounts and purposes of options, if any.
  c. Total spending authority received to date.
  d. Total spent to date.
  e. Approximate monthly expenditure rate.
  f. Any major non-salary expenses planned.
  g. Date next increment of funds is needed.

6. Technical summary (one or two paragraphs).

7. Principal expected innovations (up to one paragraph).

8. Expected product for distribution (may be technical reports only).

9. Summary of accomplishments (one paragraph per year).

10. Titles and authors of one to three principal technical reports
per year.

________________________________________________________________

-------

∂11-Sep-87  1021	JMC  	re: Translating Your Lecture 
To:   kam%unsun.riec.tohoku.junet%utokyo-relay.csnet@RELAY.CS.NET,
      MS@SAIL.STANFORD.EDU    
[In reply to message sent Fri, 11 Sep 87 22:07:41+0900.]

I'm terribly sorry to say that we have very little time to correct the draft.
I agree with your two proposed corrections.  However, I see another probable error.  I can't
be sure, because it's inconvenient for me to run TEX here at the University of Texas
where I am this Fall.  Namely, in your message quote the formulas as abaspect1, etc.
My intent was to separate  ab  and the  aspects,  so it should be  ab aspect1,  etc.
I think TEX must have run them together, and I should have written ab\ aspect1, etc.
in the manuscript.  Anyway please separate  ab  from  aspect  in your translation,
because the point of the use of aspects is to allow circumscribing the single
predicate  ab.

I'm also sending this to Prof. Sato in case of mail difficulties.

∂11-Sep-87  1550	JMC  	break p  
To:   ME
I'm now using a Lisp machine to reach SAIL.  My main remaining problem
(admittedly only with spider) is that it sometimes gets into an
unresponsive state from which I used to escape with break p.  I don't
know how to transmit break, and I have been reduced to logging in on
my other terminal and killing the job.  Is there a better way?

∂13-Sep-87  2007	JMC  	re: NSF Report
To:   patteson@GVAX.CS.CORNELL.EDU    
[In reply to message sent Fri, 11 Sep 87 11:48:37 EDT.]

I have no problem with the report, given my present vagueness about
what function it will actually serve.  I still don't want my name
attached to the AI section.  If it fits the format of the report,
I don't object to appearing as a contributor provided someone else
takes specific responsibility for the AI section.

∂13-Sep-87  2029	JMC  	re: [Ilan Vardi <ILAN@Score.Stanford.EDU>: HITECH passes Turing Test?]    
To:   ILAN@SCORE.STANFORD.EDU    
[In reply to message sent Sun 13 Sep 87 17:58:40-PDT.]

I consider the Turing test vague and unsuitable as an actual
test for AI for several reasons.

1. Historical.  It seems to me that Turing mentioned it only out of
exasperation with philosophers who claimed to prove AI impossible
in principle.  Turing seems to offer the retort, "Do you mean you
wouldn't call it intelligent even if you couldn't tell it from a
human?"  I don't think Turing really proposed it as a goal for AI
research.

2. It is vague about who can't tell - with what knowledge and
preparation.  Ignorant and careless people have been swindled
by devices as simple as card sorters.  Both Eliza and Colby's
Parry have fooled people.  Transcripts of dialogs with Parry
fooled professional psychiatrists, perhaps for the following
reason.  The psychiatrists may have had the image of a computer
program being very logical.  Therefore, when the interrogator
asked why the "paranoid" thought the Mafia was after him and
it reported people following on the street, they thought it
was the machine.  However, Parry had nowhere near the level
of intelligence required to supply evidence for a statement,
and was merely programmed to express anger when asked "why".

A chess program might fool people including chess masters
for similar accidental reasons.  For this reason, I would
be interested only if it could fool an expert in AI and
chess who had read an article about the program and was
allowed to experiment with the program.  Moreover, if someone
later came up with a reliable way to identify  the program
I would still not accept it as having passed a Turing test.

3. Indeed if it could play chess well but didn't know and
exhibit common sense knowledge and reasoning ability, I still
wouldn't accept it has passing the test.

4. I'm willing to be so tough about the Turing test, because it
is not my criterion for intelligence.  In fact, I believe that
intelligence involves many intellectual mechanisms, and some
of them have already been identified and programmed, some of
them even in present chess programs.

∂13-Sep-87  2036	JMC  	re: Visiting Texas 
To:   RDZ@SUSHI.STANFORD.EDU, CLT@SAIL.STANFORD.EDU  
[In reply to message from RDZ@Sushi.Stanford.EDU sent Sun, 13 Sep 1987 20:22 PDT.]

We'll be here.  512 471-9558, 471-3894, 328-1625.

∂13-Sep-87  2045	JMC  	re: I love these flames 
To:   TEICH@SUSHI.STANFORD.EDU, ILAN@SCORE.STANFORD.EDU
CC:   su-etc@SAIL.STANFORD.EDU 
[In reply to message from TEICH@Sushi.Stanford.EDU sent Sat 12 Sep 87 19:04:45-PDT.]

The usage of "sir" has somewhat expanded since you last paid attention.  For
example, it is now used by policemen to address skid row drunks
they are in the process of arresting.

∂13-Sep-87  2047	JMC  	women in combat    
To:   su-etc@SAIL.STANFORD.EDU   
The discussion is much too theoretical.

1. Helen has thoughtlessly accepted the cliche about "old men
sending young men into combat".  Young men are often combative,
and civilization is required to prevent to many from dying
fighting.  Civilization has recently become unsuccessfull
in preventing young "ghetto" blacks from killing each other
in large numbers.  Probably it's liberalism's fault in general,
and significantly the fault of Helen's "generation" in particular.
Anyway on those occasions in which societies have been ruled
by young men, the wars have been bloodier.  I can't think of
societies ruled by young women to have an opinion of their
propensity for war.

2. The survival of our society depends on its success in
training a sufficient body of young men to risk their
lives in combat, e.g. on the success of boot camp in turning
recruits into marines.  Whether inclusion of women in
combat units would make them less effective is the decisive
question.  I wouldn't recommend taking a chance on a large
scale without creating some women's combat units and waiting
for a war to see how they do.  I believe the historical evidence
is unfavorable.

3. I would be interested to read Helen's expansion of her
apparently negative views about having armed forces subject
to control by our elected officials.  What does she advocated?

∂13-Sep-87  2115	JMC  	child care    
To:   su-etc@SAIL.STANFORD.EDU   
My opinion is that intelligent people have far too few children, and the
recent decline in SAT scores and similar phenomena may represent the
catastrophe predicted by the turn-of-the-century eugenicists.  Therefore,
I favor subsidies for the children of intelligent people.  For example,
Stanford should improve married student housing, take number of children
into account in figuring graduate student stipends, include pregnancy,
childbirth and pediatric care in the student health service, take children
into account in setting professional salaries and reduce tuition for
students with children.

∂13-Sep-87  2343	JMC  	re: Iran - Mossadegh's Overthrow  
To:   SINGH@SIERRA.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU 
[In reply to message from SINGH@sierra.stanford.edu sent Sun 13 Sep 87 23:13:58-PDT.]

Why does Inder give instant credulity to any TV program he hears blaming
the U.S. for something that goes wrong in the world?  If the writer of the
script for the program resembles certain Stanford professors, he has on
his conscience supporting Khomeini at the time the Shah was being
overthrown.  Like the American supporters of the Khmer Rouge he likes
theories that hold the U.S. ultimately responsible for the murders
committed by the people he supported.

For the time being, I'll not say what I remember about the overthrow of
Mossadegh in order to concentrate on asking Inder why it takes only a
fragment of a TV program to convince him that the U.S. acted badly.

∂14-Sep-87  0024	JMC  	re: forwarding
To:   kam%unsun.riec.tohoku.junet%utokyo-relay.csnet@RELAY.CS.NET   
[In reply to message sent Sat, 12 Sep 87 12:49:54+0900.]

No need to forward that message, since I only sent Sato a copy in order to
increase the probability that the message would reach you.

∂14-Sep-87  0935	JMC  	Mossadegh, etc.    
To:   su-etc@SAIL.STANFORD.EDU   
On rereading Harinder Singh's original message, it seems to me that jumping
to the conclusion that his message was based on the TV fragment was
warranted.  Certainly the reader of the message was offered only
the TV fragment as the basis for Singh's opinion.  Secondly I should
apologize for using the word "credulity" where I should have used
"credence".  I should have written "It shows credulity to have given
credence ...".  Two more meta-remarks.  First, the Wall Street Journal
indeed has a conservative editorial policy.  However, its reporters seem
to be a random sample of their generation of journalist and often editorialize
in their stories in ways that are in opposition to the editorial views
of the Journal.  Finally, what I will say about Iran is from memory; I
haven't read a book.

The U.S. concern about Iran dates from the Soviet occupation of the northern
provinces of Iran during World War II and its continuation after the war.
The Soviets only withdrew after considerable pressure from the U.S. and
the U.N. (in which the U.S. had much more influence than it has today).
The Soviets left behind a substantial communist oriented political apparatus.
I forget when Mossadegh got power, probably not long before he was overthrown
in 1954.  I believe he got power at least semi-democratically.  He was overthrown
by the military which may have gotten some help, and certainly received
encouragement from the CIA.  However, it is convenient for the left to
exaggerate the role of the CIA in any events in which the CIA plays any
role at all and to invent a role for the CIA when there was none.  This
allows them to claim that their side represents the entire people of
the country, and this is especially convenient when they intend to avoid
free elections.

It is possible that the CIA's role is unwarranted but Kwitny's blaming
Khomeni on it is speculation.  It seems much more warranted to draw
an analogy with Afghanistan and say that if the CIA hadn't been
crippled in 1977, it would have been able to prevent the communist
coup in Afghanistan that led to the Soviet takeover in 1979 and to
the death and exile of a substantial part of the Afghan population.
Perhaps the CIA actions in 1954 prevented Iran from suffering in
the 1950s what Afghanistan suffered in the 1970s and 80s.

∂14-Sep-87  1242	JMC  	Hanoi releases prisoners
To:   su-etc@SAIL.STANFORD.EDU   
A New York Times story says Hanoi is releasing 6,000 prisoners
with the implication that they have been held since the end
of the war 12 years ago.  It includes people who served two-fifths
of their terms and who had "sincerely repented" and "reformed themselves
well".  Is it likely that Helen's "generation" would join in asking
for the release of those who have not "sincerely repented"
and continue to denounce communism.  Include in this also Cuban
political prisoners, the 1,000 Soviet political prisoners whose
names are known, and the political prisoners of the Sandinistas.
There are also a large number of Chinese political prisoners.
I'll be glad to sign a petition that includes Chilean prisoners.

∂14-Sep-87  1412	JMC  	re: AAS Annual Meeting  
To:   CLIFF@A.ISI.EDU  
[In reply to message sent 14 Sep 1987 16:45:19 EDT.]

Sorry I can't make your panel.  I would have liked to do it, since
I'm in Austin this Fall, but unfortunately I'd have to miss my
class which meets on Tuesday and Thursday.

∂16-Sep-87  2051	JMC  	re: A Suggestion on Circumscription    
To:   LIN    
[In reply to message rcvd 14-Sep-87 15:08-PT.]

At first glance your new form of circumscription seems interesting.
I'll send you a message when I have had time to think about it.  I
have been out of town.

∂16-Sep-87  2058	JMC  
To:   PHY    
Thanks. Here is what to do.
 ∂16-Sep-87  1500	PHY  
Perhaps this would be easier than trying to catch you by phone for your mail

`Science' journal
stack for return

UARCO advertising brochure - computer supplies, etc.
discard

`Computing Reviews'
stack for return

`Building Learning and Tutoring Tools for Object-Oriented Simulation Systems'
  by David McArthur - published at RAND
file

Letter from Abraham Peled, IBM, Yorktown Heights - inviting you to attend
  the CS Technical Symposium Nov 1 through Tues Nov 3 - in San Jose.
please reply that I can't make it because of being in Texas

`Communication, Consensus and Knowledge' by Rohit Parikh and Paul Krasucki
forward

advertising from CAE/SAR Systems - The CAE/SAR 386 personal computer is here.
discard

`TO THE BOARD OF DIRECTORS OF INFERENCE CORPORATION'  Meeting on 9-16-87
  in L.A. 
forward if more than just announcment of meeting.  If just that, discard.

request for paper you delivered at June 1987 SLA Conference in Anaheim
  but does not name the paper. Give me title and I can locate it in
  your files.
forward

new address of TRW Overseas, Inc. in Japan
discard

Telerobotic Technology Advisory Committee announcement scheduled
  9-22-23 in Pasadena
forward

Prentice-Hall advertising 
discard

Newswatch `High Frontier'
forward

∂17-Sep-87  1449	JMC  	re: MSCS courses   
To:   TEICH@SUSHI.STANFORD.EDU   
[In reply to message sent Thu 17 Sep 87 13:25:17-PDT.]

Since I'm in Texas this quarter, I have no good way of finding out the
answer.  If it can't wait till winter please ask the Chairman of the
master's committee, which was Joe Oliger last year.

∂17-Sep-87  1451	JMC  	re: Reminder! Sunrise Club Breakfast Tuesday, 9/22    
To:   TAJNAI@SCORE.STANFORD.EDU  
[In reply to message sent Thu 17 Sep 87 08:30:15-PDT.]

Can't make it, since I'm in Texas.  However, since it will be 9:30
in Texas when the breakfast takes place, I'll be glad to think of
them.

∂18-Sep-87  1226	JMC  	re: reply to message    
To:   VAL    
[In reply to message rcvd 18-Sep-87 12:16-PT.]

Actually, I need to know about her connection with computing.  Jack Minker
puts her in his top list of five human rights cases of people related
to computing.  If I raise her name with Ershov, I don't want to be
ambushed by a statement that she had nothing to do with computing.
We can discuss it Monday.  You'll get a message about hotel reservations
shortly.  If you let me know your flight, probably I can meet it.

∂18-Sep-87  1435	JMC  	re: Liberals and Bork   
To:   berglund@NAVAJO.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU   
[In reply to message from berglund@navajo.stanford.edu sent Fri, 18 Sep 87 13:56:34 PDT.]

Why do you suppose it is the function of the Supreme Court to "extend the
right of privacy" rather than the function of Congress or the state
legislatures or a constitutional amendment?  Do you believe that anything
desirable should be declared by the Supreme Court to be required by the
Constitution?  If not, where do you draw the line?

∂18-Sep-87  2051	JMC  	re: HUMAN RIGHTS LIST - TYPEWRITTEN OUTPUT - PART 3 of 3   
To:   minker@JACKSUN.CS.UMD.EDU  
[In reply to message sent Fri, 18 Sep 87 21:40:21 EDT.]

I received 5 messages, and the list seems to be here.  I'm not sure
whether troff is available here, so please send a paper copy to

John McCarthy
Computer Science Department
University of Texas
Austin TX 78712

I won't be able to inspect the list until Sunday afternoon.
Regards,

∂20-Sep-87  1659	JMC  	re: HUMAN RIGHTS LIST _ TYPEWRITER OUTPUT - PART 2 of 3    
To:   minker@JACKSUN.CS.UMD.EDU  
[In reply to message sent Sat, 19 Sep 87 11:56:55 EDT.]

Thanks for your message about Lerner and part 2.
Did you receive my previous acknowledgment?
Part 2 might have bounced because of a power shutdown at Stanford.

∂20-Sep-87  1753	JMC  	re: 1st IWoLES
To:   mcvax!inria.inria.fr!queinnec@UUNET.UU.NET
[In reply to message sent 20 Sep 1987 19:57-EST.]

I would be glad to take part in your meeting.  My lecture would be on the future
of Lisp, though I suppose it wouldn't be especially industrially oriented.  You
don't mention a manuscript, and I doubt whether I could provide one.

∂20-Sep-87  1756	JMC  	re: 1st IWoLES
To:   mcvax!inria.inria.fr!queinnec@UUNET.UU.NET
[In reply to message sent 20 Sep 1987 19:57-EST.]

I don't understand "You will have to debate with other(s) in order to
combine your interventions".  What procedure do you have in mind?

∂20-Sep-87  1836	JMC  	mailing list  
To:   barwise@CSLI.STANFORD.EDU, nissenbaum@CSLI.STANFORD.EDU  
I see that I have been missing symbolic systems mailings for
more than a year, because they were sent to Sushi.  I don't
know if I would have been more active had I seen them, but
anyway they should be sent to jmc-lists@sail.  Mail not
sent to mailing lists goes to jmc@sail as I believe you
have been doing.  I won't attend any meetings this quarter,
because I am at U Texas,Austin, but I will be back in January.

∂21-Sep-87  0852	JMC  
To:   SMC    
When you get in phone 512 471-9558.

∂21-Sep-87  1517	JMC  	possible Soviet visitor 
To:   ZM
CC:   VAL    
Gregory Mints, first via Vladimir, and then directly in Moscow asked whether
we would be interested in having Valery Yurevich Mikhailov of Kazan University
 as a visitor.  The Soviets would pay his expenses, or rather he would apply
for their sending him if we would do it.  His interests are in program
synthesis and Mints says he is a good logician; Mints is an extremely good
logician.  Because of his interests, I thought you would be the appropriate
host.  What do you think?  Vladimir may have a bit more information.

∂23-Sep-87  1033	JMC  	re: Greetings 
To:   MATU@SUSHI.STANFORD.EDU    
[In reply to message sent Wed 23 Sep 87 09:19:23-PDT.]

I will be happy to meet with you when I return to Stanford in January.
I am visting the University  of Texas for the Fall Quarter.

∂23-Sep-87  1038	JMC  	re: HUMAN RIGHTS LIST _ TYPEWRITER OUTPUT - PART 2 of 3    
To:   minker@JACKSUN.CS.UMD.EDU  
[In reply to message sent Tue, 22 Sep 87 20:30:56 EDT.]

Something is operating unreliablby, because I received a notice that one
message was undeliverable, even though it was sent to the same address
as the message you just acknowledged.
Anyway I think I have everything now.

∂23-Sep-87  1046	JMC  	re: ANy work being done in....    
To:   TAJNAI@SCORE.STANFORD.EDU  
[In reply to message sent Tue 22 Sep 87 11:51:35-PDT.]

Here's an extract from an announcement.  I suggest you phone
Barbara Simons.
Barbara B. Simons (speaker) and Ash Munshi
IBM Almaden Research Center

Scheduling Sequential Loops on Parallel Processors

Automatic parallelization of code written in a sequential language
such as FORTRAN is of great importance for compilers for parallel
computers.  We first discuss the problem of automatically
parallelizing iterative loops on multiprocessors and then derive a
scheduling problem that models a technique for the automatic
parallelization.  We present polynomial time algorithms for some
special cases of this scheduling problem together with an upper bound
on a naive algorithm for the general case.  Using one of the
polynomial time algorithms, we obtain a heuristic for the original
compiler problem.  Finally, we present test results obtained by
applying our heuristic to EISPACK, a well known numerical analysis
FORTRAN package.  In these tests the amount of parallelism we obtain
always equals and frequently surpasses that obtained by the best known
techniques in the literature.

This work is joint with Ash Munshi.

∂23-Sep-87  1113	JMC  	re: Flaherty on Bork    
To:   helen@PSYCH.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU  
[In reply to message from helen@psych.stanford.edu sent Tue, 22 Sep 87 14:06:09 PDT.]

Bork's point isn't that "some rights deserve enshrinement in the consititution
(and its interpretations), and others don't".  His point is that some rights
"are enshrined in the Constitution and others aren't".  New rights can be
enshrined in the Constitution by amending it, and Bork considers this the
right way to do it.  However, he also seems to grant standing to rights
that were de facto added by processes that he considers regrettable.

It seems to me that people who oppose Bork fail to notice that judicial
activism can work both ways.  Suppose, for example, that the Pat Robertson
were to win in 1988 and appoint fundamentalist activist justices and get
them confirmed by a suitably conservative Senate with fundamentalist
leanings.  They could decide that the Constitution forbids abortion
altogether on the grounds that a fetus is a person with a right to
live.

The fact that judicial activism has been advantageous to liberal goals
is somewhat accidental.  In the long run, everyone is better off if
new law is made only by legislatures and the Constitution is changed
only by the amendment process.

∂23-Sep-87  1355	JMC  
To:   VAL    
My translation notes should say what Article 70 is. Do you know?

∂23-Sep-87  1924	JMC  	reply to message   
To:   PHY    
[In reply to message rcvd 23-Sep-87 15:16-PT.]

Please send the Access to Energy and the budgets for signature. Discard the advertising
the newsweek and the announcement of sigada.  Stack the rest for filing.

∂24-Sep-87  0845	JMC  	Why must it be Helms?   
To:   su-etc@SAIL.STANFORD.EDU   
	There are many human rights organizations, but it seems
that these organizations specialize in whom they criticize, e.g.
some criticize the U.S. Government, some criticize corporations,
some criticize the Contras, some criticize South Africa, some
criticize the Soviet Union.  Most likely Helms is right in his
criticism of Communist China, but no human rights organization
seems to bother - or else the newspapers don't consider it news.
The newspapermen in Moscow maintain good contacts with the
dissidents and publish their complaints.  It appears that the
newspapermen in Peking are neglecting their duty.

a034  0150  24 Sep 87
PM-Helms-China,0483
Helms: Educators, Scientists, Writers, Students Suffering in China
By LAWRENCE L. KNUTSON
Associated Press Writer
    WASHINGTON (AP) - Sen. Jesse Helms, making allegations of human
rights abuses in China, says Chinese intellectuals are suffering
under a campaign of ''barbaric madness'' against educators,
scientists, poets, journalists, newspaper editors and students.
    In speeches on the Senate floor and in statements at meetings of the
Senate Foreign Relations Committee, Helms, R-N.C., has been pressing
for adoption of a series of resolutions calling for various punitive
steps against the Chinese government until alleged rights abuses
cease.
    The Chinese Foreign Ministry, in turn, is accusing Helms of
malicious attacks and gross interference in China's internal affairs.
    Helms, an outspoken conservative and anti-communist, strongly
opposed U.S. recognition of the communist government over the
nationalist Chinese government on Taiwan.
    In a Senate speech last week, Helms said thousands of Chinese
students and scholars, joined by a number of American China scholars,
have sent letters of concern to their government.
    ''We had all hoped that these indications of concern would turn
communist Chinese authorities away from their anti-intellectual,
anti-foreign political campaign known as the 'campaign against
bourgeois liberalism,''' Helms said.
    ''However, we have not been successful,'' he said. ''The campaign
has only intensified.''
    ''It is China's intellectuals, its brightest and its best, who have
paid the price for this latest round of barbaric madness,'' Helms
said.
    He complained that in a recent four-month period a newly established
censorship office seized 10 million copies of 1,000 titles of books
and publications and destroyed them.
    Additionally, he said that some 40 newspapers and journals have been
suppressed and many intellectuals purged.
    Declaring that individual cases can help dramatize larger-scale
problems, Helms introduced a resolution focusing on the case of Yang
Wei, decribed as a student of microbiology at the University of
Arizona, who was arrested in Shanghai in January after returning to
marry his fiancee.
    Helms said Yang Wei is still being held without charge eight months
after police detained him after finding leaflets in his parents'
house said to support student demonstrators.
    The resolution calls for the immediate release of the student by
Chinese authorities and urges the Reagan administration to give other
Chinese students in the United States the right to remain temporarily
after their student visas expire ''while the current political
campaign runs its course.''
    Helms also is pressing Congress to adopt other resolutions related
to alleged human rights abuses by the Chinese government.
    One of the non-binding amendments, referring to recent expulsions of
Western journalists from China, calls for the expulsion of a Chinese
correspondent from the United States in retaliation.
    Helms previously has introduced resolutions calling for the
reexamination of nuclear cooperations, arms transfers and cultural
exchanges if China did not take certain actions to change internal
policies and actions.
    
 
AP-NY-09-24-87 0441EDT
***************

∂24-Sep-87  0958	JMC  	re: Why must it be Helms?    
To:   PALLAS@SUSHI.STANFORD.EDU
CC:   su-etc@SAIL.STANFORD.EDU
[In reply to message from PALLAS@Sushi.Stanford.EDU sent Thu 24 Sep 87 09:15:59-PDT.]

I missed the NYT editorial.  However, it would still seem that the
NYT correspondents in Peking are not doing as good a job as those
in Moscow.  I conjecture that some of Helms's sources are on Taiwan.
They have the motivation to pay attention, but prejudice hinders
their access to American media.  Perhaps the Washington Times does
better with such stories, although it probably doesn't have a Peking
correspondent.

∂24-Sep-87  1419	JMC  	reply to message   
To:   PHY    
[In reply to message rcvd 24-Sep-87 12:51-PT.]

Please reply to Bjorner telegram.  I have a telex number
in case the telegram hasn't adequate info.

telex 37805 ddc dk

Sorry to have been undecided so long.  Yes, I will come and
give keynote address.  Many thanks.

∂24-Sep-87  1453	JMC  	re: A bookstore query   
To:   RIVIN@SCORE.STANFORD.EDU   
[In reply to message sent Thu 24 Sep 87 14:21:19-PDT.]

What languages?

∂24-Sep-87  1642	JMC  	re: What Languages?
To:   rivin@Gang-Of-Four.Stanford.EDU 
[In reply to message sent Thu, 24 Sep 87 16:23:12 pdt.]

I suppose you know about Szwede's Slavic Books on El Camino.

∂24-Sep-87  1644	JMC  
To:   PHY    
numbers for Dines Bjorner
telex 37805 ddc dk

∂25-Sep-87  1056	JMC  	re: origins of the term "Abstract Syntax"   
To:   Arnon.pa@XEROX.COM    
[In reply to message sent Fri, 25 Sep 87 10:24:33 PDT.]

I believe I was the first to use the name and possibly the first to use
the concept.  You will find it in my paper "Towards a Mathematical Theory
of Computation" in the proceedings of the 1962 IFIP Congress.  I'm not
aware that anyone else has discussed the concept other than casually in
the intervening 25 years, although many people have used it - the first
probably being the IBM people in Vienna who defined their Vienna
Definition Language VDL and used it to express the semantics of PL/I.  I
would be grateful for references to a discussion of the concept - as
contrasted with applications.  By the way, I think there is more
theoretical work to be done in giving a proper abstract syntax for
expressions with bound variables.

I also used it in the following paper.

{\bf McCarthy, John  (1966)}: ``A Formal Description of a Subset of Algol'',
{\it Formal Language Description Languages for Computer Programming},
T.B. Steel, Jr. (ed.), North-Holland Publ. Co., Amsterdam, pp. 1-12.

∂25-Sep-87  1123	Mailer	failed mail returned   
To:   JMC@SAIL.STANFORD.EDU 
In processing the following command:
    MAIL
The command was aborted because these Host Name(s) are Unknown or Ambiguous:
    

------- Begin undelivered message: -------
 ∂25-Sep-87  1123	JMC  	re: Why must it be Helms (actually: NYT in Peking and Moscow)   
To:   mogul@DECWRL.DEC.COM  
[In reply to message from mogul@decwrl.dec.com sent Thu, 24 Sep 87 18:13:00 PDT.]

I substantially agree with Jeff Mogul, especially with his "never infer maliciousness
where stupidity would suffice" and would like to know the source of it.  I have
just two comments.

1. Before the Soviet dissidents began to contact the correspondents,
the Moscow dispatches consisted of warmed over TASS and Novosti
handouts and rumors in the diplomatic community.  The correspondents
were rather gullible about Soviet politics.  The Chinese Government
is more successful than the Soviets at keeping the correspondents
well separated from whatever dissidents there may be.  On the other
hand there are many leaks from the Chinese Government to foreign
correspondents and almost none in the Soviet Union.

2. The Soviet travel restrictions are more consistent than the Chinese.
No Western correspondent has seen an ordinary collective farm since
before WWII, and none have visited Vladivostok or the cities in
the Urals; Gorki (not quite in the Urals) has more than a million
population and hasn't been visited.  Almost all parts of China have
been visited including many poor rural areas, but the restrictions
change.

My grumble isn't only about the correspondents; it's more about
the human rights organization.  I missed the Amnesty International
criticism, and they deserve credit for it.  There is still too much
sentimentality about the Chinese communists.

------- End undelivered message -------

∂25-Sep-87  1125	JMC  	failed mail   
To:   ME, JJW
To:   mogul@DECWRL.DEC.COM  

∂25-Sep-87  1134	Mailer	failed mail returned   
To:   JMC@SAIL.STANFORD.EDU 
In processing the following command:
    MAIL/su
The command was aborted because these Host Name(s) are Unknown or Ambiguous:
    mit-prep

------- Begin undelivered message: -------
 ∂25-Sep-87  1134	JMC  	ebos
To:   AIR@SAIL.STANFORD.EDU, CLT@SAIL.STANFORD.EDU,
      LES@SAIL.STANFORD.EDU   
IBM has decided not to support it further.  Unless we can find other support,
e.g. from some local company, we'll have to drop it.  I suppose NSF is
also a possibility.

------- End undelivered message -------

∂25-Sep-87  1134	JMC  	ebos
To:   AIR@SAIL.STANFORD.EDU, CLT@SAIL.STANFORD.EDU,
      LES@SAIL.STANFORD.EDU   
IBM has decided not to support it further.  Unless we can find other support,
e.g. from some local company, we'll have to drop it.  I suppose NSF is
also a possibility.

∂28-Sep-87  1401	JMC  
To:   PHY    
 ∂28-Sep-87  1240	PHY  
mail:
overdue notice of `Simplification by operating-design proceeding' by Nelson
discard

book `Introduction to Commong Lisp' by Yuasa and Hagiya
  sent by Alice Peters of Harcourt,Brace
for filing

`Vortex-scalar element calculations of a diffusion flame stabilized
  on a plane mixing layer' paper by Ghoniem and Gini from NASA
discard

letter of recommendation wanted for Robert H. Halstead, Jr. (granting
  tenure) from MIT - list of publications, and a paper `An assessment
  of mulilisp: lessons from experience' included
forward

∂28-Sep-87  1410	JMC  	re: couple of things    
To:   KIRSH%OZ.AI.MIT.EDU@XX.LCS.MIT.EDU   
[In reply to message sent 28 Sep 1987 15:32 EDT.]

1) Yes, fire off the paper.

2) I think I'd better decline the Chapel Hill meeting.  Maybe when
the circus comes closer to Stanford, I'll try.  I don't agree with
your position; we have a problem talking about liquids on neutron
stars in common sense terms, even though we have only the most
tenuous kind of perception and no possibility of action in the
near future.

∂28-Sep-87  1502	JMC  	overdue notice of `Simplification by operating-design proceeding' by Nelson    
To:   library@SCORE.STANFORD.EDU
CC:   PHY@SAIL.STANFORD.EDU  
Unfortunately, I can't look for this, because I'm on leave till January
in Austin, Texas.  Could you renew it till then?

∂28-Sep-87  1521	JMC  	re: reply to message    
To:   VAL    
[In reply to message rcvd 28-Sep-87 15:14-PT.]

No, thanks.  That's enough.

∂28-Sep-87  1523	JMC  	reply to message   
To:   PHY    
[In reply to message rcvd 28-Sep-87 15:14-PT.]

Unfortunately, I'm not so well organized.  I suspect it may be at home, and
won't appear till I unpack my office at home.  If they insist I'll pay.

∂28-Sep-87  1611	JMC  
To:   VAL    
sender[e87,jmc] contains my translation.

∂29-Sep-87  0950	JMC  	re: conference
To:   reiter%ai.toronto.edu@RELAY.CS.NET   
[In reply to message sent Mon, 28 Sep 87 17:31:41 EDT.]

It sounds like a fine program committee, but my experience is that
I just don't justice to papers when I review them.  Let me suggest
you try Vladimir Lifschitz, VAL@SAIL.STANFORD.EDU, in my place.
Please acknowledge this message, because I'm unsure about the
intelligence of our mailer.

∂29-Sep-87  0952	JMC  	re: HUMAN RIGHTS LIST _ TYPEWRITER OUTPUT - PART 2 of 3    
To:   minker@JACKSUN.CS.UMD.EDU  
[In reply to message sent Tue, 29 Sep 87 11:10:06 EDT.]

Ershov didn't phone.  I hope to see him in October in Denmark.

∂29-Sep-87  1213	JMC  	re: Trinity and Catholics    
To:   HUSSEIN@SIERRA.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU    
[In reply to message from HUSSEIN@sierra.stanford.edu sent Mon 28 Sep 87 12:10:54-PDT.]

Perhaps Hussein is a Unitarian, although Unitarians are said to believe
in "at most one God".

∂30-Sep-87  1221	JMC  	reply to message   
To:   PHY    
[In reply to message rcvd 30-Sep-87 11:50-PT.]

Thanks, Phyllis.

∂30-Sep-87  1517	JMC  
To:   PHY    
 ∂29-Sep-87  1646	PHY  
mail:

travel brochure from Dina Bolla Agency - cruise Panama Canal  with Jack Elway, Sr!
  3-22 / 4-5-88
discard

`Japanese activities toward Lisp Standardization - listing of JEIDA committee
file

products for Electrophersis with sample of some kind (ad)
discard

Second International Peach week of Scientists  11-9/15-87  (ad)
If Peace not Peach as I imagine, discard, otherwise forward

letter (form) from Paul Lehner of George Mason University `he and Leonad
  Adelman are organizing the publication of a special issue of `IEEE
  Trans. on Systems, Man and Cybernetics' -- purpose is to invite you to
  contribute to this special issue.
forward

manuscripts from Eric Drexler - also requesting you to renew his visiting
  scholar position. I called him and said you were away. He is going to
  try and get another professor.
forward

Cathay Pacific Airways guide to mileage plus  ad
discard

American Airlines ad - San Juan - Caribbean
discard

Science journal
forward

letter from John J. Grefenstette, Program Chairman for Second International
  Conference on Genetic Algorithms and their applications - sincere gratitude
  for support  provided by AAAI for conference. Enclosing a copy of the
  Proceedings of the Conference
file